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 31

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

Lazy Abstraction with Interpolants

Kenneth McMillan (2006)

0 comments Cited 79 times – based on 0 reviews

Bookmark

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

A Complete Method for the Synthesis of Linear Ranking Functions

Andreas Podelski, Andrey Rybalchenko (2004)

0 comments Cited 68 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Termination of rewriting

Nachum Dershowitz (1987)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 413-429

DOI: 10.1007/978-3-642-39799-8_28

SO-VID: 1283069b-c393-48b1-8878-6ae636776f25

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 15

See all cited by

Better Termination Proving through Cooperation

Read this book at

Related collections

The IET

Most cited references 31

Lazy Abstraction with Interpolants

A Complete Method for the Synthesis of Linear Ranking Functions

Termination of rewriting

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,578

Cited by 15