Home Advanced Search

Advanced Search - Page 1

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.)

Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift

PDF
English
Year: 2013
Author: Henk Barendregt (auth.), Peter Paule (eds.)

Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings

PDF
English
Year: 2001
Author: Henk Barendregt (auth.), Aart Middeldorp (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.)

ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

DJVU
English
Year: 1990
Author: Henk Barendregt, Kees Hemerik (auth.), Neil Jones (eds.)

Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings

DJVU
English
Year: 1998
Author: Tobias Nipkow (auth.), Jim Grundy, Malcolm Newey (eds.)

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

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

Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

PDF
English
Year: 2006
Author: Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)

Concrete Semantics with Isabelle/HOL

PDF
English
Year: 2017
Author: Tobias Nipkow, Gerwin Klein