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): 2009

Pages: 32-47

DOI: 10.1007/978-3-642-02348-4_3

SO-VID: fde4d974-062a-4e9f-9df1-990940342bf4

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 14

Analyzing Program Termination and Complexity Automatically with AProVE
Authors: Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt …
Automated Termination Proofs for Java Programs with Cyclic Data
Authors: Marc Brockschmidt, Richard Musiol, Carsten Otto …
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs
Authors: Stephan Falke, Deepak Kapur

See all cited by

Proving Termination of Integer Term Rewriting

Read this book at