Towards a Logic for Reasoning About Logic Programs Transformation / A. Momigliano, M. Ornaghi - In: Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings / [a cura di] N.. Fuchs. - [s.l] : Springer, 1998. - ISBN 978-3-540-65074-4. - pp. 226-244 (( Intervento presentato al 7. convegno Logic Program Synthesis and Transformation tenutosi a Leuven, Belgium nel 1997 [10.1007/3-540-49674-2_12].
Towards a Logic for Reasoning About Logic Programs Transformation
A. Momigliano
Primo
;M. OrnaghiUltimo
1998
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
MomiglianoOrnaghi.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
223.17 kB
Formato
Adobe PDF
|
223.17 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.