Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
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: 2014
  • Author: Tobias Nipkow, Gerwin Klein (auth.)
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers
  • DJVU
  • English
  • Year: 1994
  • Author: Andrea Asperti, Cosimo Laneve (auth.), Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow (eds.)
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
  • PDF
  • English
  • Year: 2002
  • Author: Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)
Collaborative Software Engineering
  • PDF
  • English
  • Year: 2010
  • Author: Jim Whitehead, Ivan Mistrík, John Grundy, André van der Hoek (auth.), Ivan Mistrík, John Grundy, André Hoek, Jim Whitehead (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Olaf Müller, Tobias Nipkow (auth.), E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen (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.)
search