MPG.eBooks - Author Search Results

Tobias Nipkow

Tobias Nipkow (born 1958) is a German computer scientist. Provided by Wikipedia

Cover Image

1

Isabelle/HOL : A Proof Assistant for Higher-Order Logic

by Nipkow, Tobias
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

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

by Nipkow, Tobias
Published 1998

Springer Berlin Heidelberg

Cover Image

3

Concrete Semantics : With Isabelle/HOL

by Nipkow, Tobias, Klein, Gerwin
Published 2014

Springer International Publishing

Cover Image

4

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

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Nipkow, Tobias...”

Cover Image

5

Types for Proofs and Programs : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

by Barendregt, Henk
Published 1994

Springer

Other Authors: “...Nipkow, Tobias...”

Cover Image

6

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

by Goré, Rajeev
Published 2001

Springer-Verlag Berlin Heidelberg

Other Authors: “...Nipkow, Tobias...”

Cover Image

7

Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Nipkow, Tobias...”

Cover Image

8

FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Nipkow, Tobias...”

Cover Image

9

Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Nipkow, Tobias...”

Cover Image

10

Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

by Heering, Jan
Published 1994

Springer

Other Authors: “...Nipkow, Tobias...”

Cover Image

11

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Nipkow, Tobias...”

Cover Image

12

Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Nipkow, Tobias...”