- Record: found
- Abstract: not found
- Book Chapter: not found
Programming Languages and Systems
A Generic Cyclic Theorem Prover
other
Read this book at
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 references21
- Record: found
- Abstract: not found
- Book Chapter: not found
On-the-fly Verification of Linear Temporal Logic
Jean-Michel COUVREUR (1999)
- Record: found
- Abstract: not found
- Article: not found
Sequent calculi for induction and infinite descent
A. Simpson, J. Brotherston (2011)
- Record: found
- Abstract: not found
- Book Chapter: not found
Automatic Termination Proofs for Programs with Shape-Shifting Heaps
Josh Berdine, Byron Cook, Dino Distefano … (2006)