Towards a Logic for Reasoning About Logic Programs Transformation / A. Momigliano, M. Ornaghi - In: Logic Program Synthesis and Transformation[s.l] : Springer, 1998. - ISBN 978-3-540-65074-4. - pp. 226-244
Titolo: | Towards a Logic for Reasoning About Logic Programs Transformation |
Autori: | MOMIGLIANO, ALBERTO (Primo) ORNAGHI, MARIO (Ultimo) |
Settore Scientifico Disciplinare: | Settore INF/01 - Informatica |
Data di pubblicazione: | 1998 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/3-540-49674-2_12 |
Tipologia: | Book Part (author) |
Appare nelle tipologie: | 03 - Contributo in volume |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.