Browse
FAQ

Author

Tobias Nipkow

7 books found

Cover of Functional Data Structures and Algorithms

Functional Data Structures and Algorithms

Tobias Nipkow · First published 2025

Cover of Concrete Semantics

Concrete Semantics

Tobias Nipkow, Gerwin Klein · First published 2014

Cover of FM 2006

Fm 2006

Jayadev Misra,Tobias Nipkow,Emil Sekerinski · First published 2008

Cover of FM 2006

Fm 2006

Jayadev Misra, Tobias Nipkow, Emil Sekerinski · First published 2006

Cover of Isabelle/HOL

Isabelle/HOL

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel · First published 2002

Cover of Automated reasoning

Automated reasoning

Alexander Leitsch, Tobias Nipkow · First published 2001

Cover of Rewriting Techniques and Applications

Rewriting Techniques and Applications

Tobias Nipkow · First published 1998