IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishCombining 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): | 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.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2434/212930
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2019