Incremental Execution of Guarded Theories / DE GIACOMO, Giuseppe; HECTOR J., Levesque; Sardina, Sebastian. - In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. - ISSN 1529-3785. - 4(2):(2001), pp. 495-525.
File allegati a questo prodotto
File | Dimensione | Formato | |
---|---|---|---|
VE_2001_11573-42324.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
240.17 kB
Formato
Adobe PDF
|
240.17 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.