Document Search Results

Newest Citations Relevance

Certification of termination proofs using CeTA. (English) Zbl 1252.68265

Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 452-468 (2009).

MSC: 68T15 68N18 68Q42

Cite Review PDF

Full Text: DOI

Thiemann, René; Sternagel, Christian

Loops under strategies. (English) Zbl 1242.68142

Treinen, Ralf (ed.), Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29–July 1, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02347-7/pbk). Lecture Notes in Computer Science 5595, 17-31 (2009).

MSC: 68Q42 68T15

Cite Review PDF

Full Text: DOI

Giesl, Jürgen; Thiemann, René; Schneider-Kamp, Peter

Proving and disproving termination of higher-order functions. (English) Zbl 1171.68714

Gramlich, Bernhard (ed.), Frontiers of combining systems. 5th international workshop, FroCos 2005, Vienna, Austria, September 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29051-6/pbk). Lecture Notes in Computer Science 3717. Lecture Notes in Artificial Intelligence, 216-231 (2005).

MSC: 68T15 68Q42

Cite Review PDF

Full Text: DOI

Found 3 Documents (Results 1–3)

Certification of termination proofs using CeTA. (English) Zbl 1252.68265

Loops under strategies. (English) Zbl 1242.68142

Proving and disproving termination of higher-order functions. (English) Zbl 1171.68714

Filter Results by …

Author

Year of Publication

Main Field

Software