Rewriting-based Check of Chase Termination / M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna (CEUR WORKSHOP PROCEEDINGS). - In: AMW 2015 : Alberto Mendelzon Workshop on Foundations of Data Management / [a cura di] A. Calì, M.E. Vidal. - [s.l] : CEUR-WS.org, 2015. - pp. 156-161 (( Intervento presentato al 9. convegno AMW tenutosi a Lima nel 2015.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
AMW_2015_paper_32.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
188.85 kB
Formato
Adobe PDF
|
188.85 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.




