Author: "René Thiemann" / Journal: lpar - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"René Thiemann"' showing total 5 results

Start Over Author "René Thiemann" Journal lpar

5 results on '"René Thiemann"'

1. A Verified Efficient Implementation of the LLL Basis Reduction Algorithm.

Author: Ralph Bottesch, Max W. Haslbeck, and René Thiemann
Published: 2018
Full Text: View/download PDF

2. Improving Context-Sensitive Dependency Pairs.

Author: Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, and René Thiemann
Published: 2008
Full Text: View/download PDF

3. SAT Solving for Argument Filterings.

Author: Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, and Jürgen Giesl
Published: 2006
Full Text: View/download PDF

4. The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs.

Author: Jürgen Giesl, René Thiemann, and Peter Schneider-Kamp
Published: 2004
Full Text: View/download PDF

5. Improving Dependency Pairs.

Author: Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, and Stephan Falke 0001
Published: 2003
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results