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 14

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
Book Chapter: not found

PVS: A prototype verification system

S. Owre, J. M. Rushby, N Shankar (1992)

0 comments Cited 87 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Computational complexity

C. PAPADIMITRIOU, C.H. Papadimitriou, C Papadimitriou … (1994)

0 comments Cited 42 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Pages: 460-475

DOI: 10.1007/978-3-540-73595-3_34

SO-VID: 4ad387ca-0f9c-4e4a-bbbd-be64236ab89e

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 5

All-Termination(T)
Authors: Panagiotis Manolios, Aaron Turon
Automata and Program Analysis
Authors: Thomas Colcombet, Laure Daviaud, Florian Zuleger
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Authors:

See all cited by

Certified Size-Change Termination

Read this book at

Related collections

Language change

Most cited references 14

Isabelle/HOL

PVS: A prototype verification system

Computational complexity

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,594

Cited by 5