Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction / S. J. Ambler, R. L. Crole, A. Momigliano - In: Theorem Proving in Higher Order Logics[s.l] : Springer, 2002. - ISBN 978-3-540-44039-0. - pp. 13-30
Titolo: | Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction |
Autori: | MOMIGLIANO, ALBERTO (Ultimo) |
Settore Scientifico Disciplinare: | Settore INF/01 - Informatica Settore MAT/01 - Logica Matematica |
Data di pubblicazione: | 2002 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/3-540-45685-6_3 |
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.