Record: found
Abstract: not found
Book Chapter: not found

Automating Inductive Proofs Using Theory Exploration

other

Author(s): Koen Claessen , Moa Johansson , Dan Rosén , Nicholas Smallbone

Publication date (Print): 2013

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

Most cited references 15

Record: found
Abstract: not found
Book: not found

Isabelle/HOL

Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)

0 comments Cited 199 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

QuickCheck

Koen Claessen, John Hughes (2000)

0 comments Cited 27 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Conjecture Synthesis for Inductive Theories

Alan Bundy, Lucas Dixon, Moa Johansson (2011)

0 comments Cited 14 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 392-406

DOI: 10.1007/978-3-642-38574-2_27

SO-VID: f71cdddd-cf21-4f44-bbc0-601f303b153a

History

Data availability:

Automating Inductive Proofs Using Theory Exploration

Read this book at

Related collections

Genome Engineering using CRISPR

Most cited references 15

Isabelle/HOL

QuickCheck

Conjecture Synthesis for Inductive Theories

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,841

Cited by 14