Home Advanced Search

Advanced Search - Page 1

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

PDF
English
Year: 2002
Author: Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)

Isabelle: A Generic Theorem Prover

DJVU
English
Year: 1994
Author: Lawrence C. Paulson (eds.)

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

DJVU
English
Year: 1994
Author: Henk Barendregt, Tobias Nipkow (eds.)

Logic and Computation: Interactive Proof with Cambridge LCF

DJVU
English
Year: 1990
Author: Lawrence C. Paulson

ML for the working programmer

DJVU
English
Year: 1996
Author: Lawrence C. Paulson

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

PDF
English
Year: 2009
Author: David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

PDF
English
Year: 2009
Author: David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

PDF
English
Year: 2009
Author: David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)

Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26–30, 1991 Proceedings

DJVU
English
Year: 1991
Author: Tobias Nipkow (auth.), John Hughes (eds.)

Rewriting Techniques and Applications: 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings

DJVU
English
Year: 1998
Author: J. W. Klop (auth.), Tobias Nipkow (eds.)