Rewriting-based Check of Chase Termination / Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina. - 1378:(2015). (Intervento presentato al convegno AMW 2015 tenutosi a Lima nel 6th-8th May 2015).
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
C8.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
188.85 kB
Formato
Adobe PDF
|
188.85 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione