Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Term Rewriting and All That.   

Term Rewriting and Applications: 18th International Conference, RTA 2007 ...

Franz Baader - Computers - 2007 - 418 pages
Annotation This book constitutes the refereed proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007, held in Paris, France in June ...
Limited preview - About this book

Theorem Proving in Higher Order Logics: 22nd International Conference ...

Stefan Berghofer, Tobias Nipkow, Christian Urban - Computers - 2009 - 517 pages
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August ...
Limited preview - About this book

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen ...

Henk Barendregt, Tobias Nipkow - Computers - 1994 - 383 pages
This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research ...
Limited preview - About this book

FM 2006: Formal Methods: 14th International Symposium on Formal Methods ...

Jayadev Misra, Tobias Nipkow, Emil Sekerinski - Computers - 2006 - 620 pages
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search