Tobias Nipkow's Documents

Tobias Nipkow's Documents

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

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Read more
Term Rewriting and All That

Term Rewriting and All That
Read more
Term rewriting and all that

Term rewriting and all that
Read more
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Read more
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Read more
Isabelle-HOL - A Proof Assistant for Higher-Order Logic

Isabelle-HOL - A Proof Assistant for Higher-Order Logic
Read more
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Read more
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Read more
Put the Moose on the Table: Lessons in Leadership from a Ceo's Journey Through Business and Life

Put the Moose on the Table: Lessons in Leadership from a Ceo's Journey Through Business and Life
Read more
Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness
Read more
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Read more
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Isabelle: A Generic Theorem Prover

Isabelle: A Generic Theorem Prover
Read more
The Expedition of Humphry Clinker

The Expedition of Humphry Clinker
Read more
Back in the World: Stories  

Back in the World: Stories  
Read more
Fixed Ideas of Money: Small States and Exchange Rate Regimes in Twentieth-Century Europe (Studies in Macroeconomic History)

Fixed Ideas of Money: Small States and Exchange Rate Regimes in Twentieth-Century Europe (Studies in Macroeconomic History)
Read more
Wertschöpfung in der Bottom-up-Ökonomie (VDI-Buch)

Wertschöpfung in der Bottom-up-Ökonomie (VDI-Buch)
Read more
Aerophilia

Aerophilia
Read more
Eine Militärverfassung für die EU

Eine Militärverfassung für die EU
Read more
Bankrecht - Schnell erfasst

Bankrecht - Schnell erfasst
Read more
Bereitstellung und Erschließung von elektronischen Dissertationen

Bereitstellung und Erschließung von elektronischen Dissertationen
Read more
Die verschwiegene Mission

Die verschwiegene Mission
Read more
JavaScript - Kompendium . Interaktives und dynamisches Webpublishing

JavaScript - Kompendium . Interaktives und dynamisches Webpublishing
Read more
Standardization and Expectations (Lecture Notes in Economics and Mathematical Systems)

Standardization and Expectations (Lecture Notes in Economics and Mathematical Systems)
Read more
Vergütungsanreize und opportunistische Bilanzpolitik: Eine empirische Analyse der Rolle von Aufsichtsrat und Abschlussprüfer

Vergütungsanreize und opportunistische Bilanzpolitik: Eine empirische Analyse der Rolle von Aufsichtsrat und Abschlussprüfer
Read more
Microsoft Windows 7 Professional - Das Handbuch

Microsoft Windows 7 Professional - Das Handbuch
Read more
In Pharaoh's Army: Memories of the Lost War

In Pharaoh's Army: Memories of the Lost War
Read more
Scripting Host Werkzeugkasten

Scripting Host Werkzeugkasten
Read more
Einkauf mit SAP: Der Grundkurs für Einsteiger und Anwender

Einkauf mit SAP: Der Grundkurs für Einsteiger und Anwender
Read more
International Mediation Interaction: Synergy, Conflict, Effectivness

International Mediation Interaction: Synergy, Conflict, Effectivness
Read more