Skip to main content

Author picture

Tobias Nipkow

Author of Term Rewriting and All That

7 Works 46 Members 0 Reviews

Works by Tobias Nipkow

Term Rewriting and All That (1998) — Author — 31 copies

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (2002) 6 copies

Concrete Semantics: With Isabelle/HOL (2014) 5 copies

Software safety and security tools for analysis and verification (2012) 1 copy

Concrete semantics : with Isabelle/HOL (2014) 1 copy

Isabelle/HOL : a proof assistant for higher-order logic (2003) 1 copy

Term Rewriting and All That 1 copy

Tagged

@work (2) algebra (1) artificial intelligence (1) Automated Reasoning (1) collection:computing (1) computer science (14) computing (2) Computing Science (1) cs (1) ebook (1) genre-computability (1) informatics (1) location-buy (1) logic (2) math (4) math-science (1) ML (1) non-fiction (7) owned (1) owner:cslib (1) owner:klaus (1) programming (3) programming languages (1) reference (1) shelf:b1 (1) status: on loan (1) term rewriting (1) theorem proving (4) Theoretische Informatik (1) to-read (2) to: Honghan (1) unread (1) verification (2) where:cslib (1) where:klaus office (1)

Common Knowledge

Gender: male

Members

You May Also Like

Associated Authors

Lawrence C. Paulson Author

Markus Wenzel Author

Statistics

Works: 7
Members: 46
Popularity: #335,831
Rating: 3.9

ISBNs: 11

Pictures

Links

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

Is This You?

Become a LibraryThing Author.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

This site uses cookies to deliver our services, improve performance, for analytics, and (if not signed in) for advertising. By using LibraryThing you acknowledge that you have read and understand our Terms of Service and Privacy Policy. Your use of the site and services is subject to these policies and terms.

NODES