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 DAVIDE ADOLFO (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.
Pubblicazioni consigliate
Loading suggested articles...
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021