Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Tobias Nipkow | lit.salon

Author

Tobias Nipkow

7 works

1998–2025 across 7 dated works

No biography is available yet.

Start with

Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science)1998
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science)2001
With Alexander Leitsch
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)2002
With Lawrence C. Paulson, Markus Wenzel
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science)2006
With Jayadev Misra, Emil Sekerinski

Books

7 works

Featured (7)Featured (7)All (7)All (7)

Search booksSort books

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)2002
With Lawrence C. Paulson, Markus Wenzel
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science)2001
With Alexander Leitsch
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Rewriting Techniques and Applications: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science)1998
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Concrete Semantics With Isabelle/HOL2014
With Gerwin Klein
3 editions
shelves
0
reviews
0
lists
0
quotes
0
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science)2006
With Jayadev Misra, Emil Sekerinski
1 edition
shelves
0
reviews
0
lists
0
quotes
0
FM 2006 : Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings2006
With Jayadev Misra, Emil Sekerinski
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Functional Data Structures and Algorithms: A Proof Assistant Approach2025
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Tobias Nipkow.

The conversation is still open.

There is no public salon activity to show for Tobias Nipkow yet.