Paramodulation-Based Theorem Proving

edited_book

Author(s): Robert Nieuwenhuis , Albert Rubio

Publication date (Print): 2001

Publisher: Elsevier

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 Chapter

Publication date (Print): 2001

Pages: 371-443

DOI: 10.1016/B978-044450813-3/50009-6

SO-VID: 070ea21e-8b16-4eed-990e-a93eb751e3f1

License:

https://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 51

Quantified Invariant Generation Using an Interpolating Saturation Prover
Authors: K. L. McMillan
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
Authors: Laura Kovacs, Andrei Voronkov
A metaprogramming framework for formal verification
Authors: Gabriel Ebner, Sebastian Ullrich, Jared Roesch …

See all cited by