T. Nipkow's Documents

T. Nipkow's Documents

Isabelle: A Generic Theorem Prover

Isabelle: A Generic Theorem Prover
Read more
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
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
Term rewriting and all that

Term rewriting and all that
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
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
Isabelle-HOL - A Proof Assistant for Higher-Order Logic

Isabelle-HOL - A Proof Assistant for Higher-Order Logic
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
A bundle method for solving equilibrium problems

A bundle method for solving equilibrium problems
Read more
Active Structural Control: Theory and Practice (Longman structural engineering & structural mechanics series)

Active Structural Control: Theory and Practice (Longman structural engineering & structural mechanics series)
Read more
Designing Embedded Communications Software

Designing Embedded Communications Software
Read more
IL6

IL6
Read more
Fundamentals of Probability and Statistics for Engineers

Fundamentals of Probability and Statistics for Engineers
Read more
Designing Embedded Communications Software

Designing Embedded Communications Software
Read more
Algebra

Algebra
Read more
Tim Burton's Alice in Wonderland

Tim Burton's Alice in Wonderland
Read more
IL-6 Ligand and Receptor Family

IL-6 Ligand and Receptor Family
Read more
The Economics of Input-Output Analysis

The Economics of Input-Output Analysis
Read more
The Man From Laramie

The Man From Laramie
Read more
Random differential equations in science and engineering

Random differential equations in science and engineering
Read more
Time and Space in Economics

Time and Space in Economics
Read more
Tim Burton's Alice in Wonderland

Tim Burton's Alice in Wonderland
Read more
Brick By Red Brick

Brick By Red Brick
Read more
Fundamentals of probability and statistics for engineers

Fundamentals of probability and statistics for engineers
Read more
Fundamentals of Probability and Statistics for Engineers

Fundamentals of Probability and Statistics for Engineers
Read more
Fundamentals of probability and statistics for engineers

Fundamentals of probability and statistics for engineers
Read more
Brother Murder

Brother Murder
Read more
West African Seashells

West African Seashells
Read more
The Man From Laramie

The Man From Laramie
Read more