Home Advanced Search

Advanced Search - Page 1

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Neil D. Jones (auth.), Rajeev Goré, Alexander Leitsch, Tobias Nipkow (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.)
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.)
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.)
Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980
  • PDF
  • English
  • Year: 1980
  • Author: Harald Ganzinger (auth.), Neil D. Jones (eds.)
Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980
  • DJVU
  • English
  • Year: 1980
  • Author: Harald Ganzinger (auth.), Neil D. Jones (eds.)
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
search