Chase Termination for Guarded Existential Rules / Calautti, Marco; Gottlob, Georg; Pieris, Andreas. - 1378:(2015). (Intervento presentato al convegno AMW tenutosi a Lima nel 6th-8th May 2015).
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
C7.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
69.44 kB
Formato
Adobe PDF
|
69.44 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione