Chase Termination for Guarded Existential Rules / Calautti, Marco; Gottlob, Georg; Pieris, Andreas. - (2015), pp. 91-103. (Intervento presentato al convegno PODS tenutosi a Melbourne Victoria Australia nel 31st May-4th June 2015) [10.1145/2745754.2745773].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
C5.pdf
Solo gestori archivio
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
524.58 kB
Formato
Adobe PDF
|
524.58 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione