A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation
CANTONE, Domenico;NICOLOSI ASMUNDO, MARIANNA;
2014-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
CILC2014A.pdf
solo gestori archivio
Licenza:
Non specificato
Dimensione
7.1 MB
Formato
Adobe PDF
|
7.1 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.