Isabelle/HOL

other

Editor(s): Tobias Nipkow , Markus Wenzel , Lawrence C. Paulson

Publication date (Online): April 10 2002

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-43376-7

ISBN (Electronic): 978-3-540-45949-1

Publication date (Print): 2002

Publication date (Online): April 10 2002

DOI: 10.1007/3-540-45949-9

SO-VID: 38dc1175-c93c-4219-a17d-1cc7019bc054

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 199

Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
Authors: Jasmin Christian Blanchette, Tobias Nipkow
Code Generation via Higher-Order Rewrite Systems
Authors: Florian Haftmann, Tobias Nipkow
Automatic Proof and Disproof in Isabelle/HOL
Authors: Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow

See all cited by