Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction

Ambler, S.J.; Crole, R.L.; Momigliano, A.

doi:10.1007/3-540-45685-6_3

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.

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:	S. J. Ambler R. L. Crole MOMIGLIANO, ALBERTO (Ultimo) mostra contributor esterni nascondi contributor esterni
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.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2434/212930

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.