Search

Your search keyword '"Sternagel, Christian"' showing total 17 results

Search Constraints

Start Over You searched for: Author "Sternagel, Christian" Remove constraint Author: "Sternagel, Christian" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
17 results on '"Sternagel, Christian"'

Search Results

1. Certification of Nontermination Proofs

2. Generalized and Formalized Uncurrying

3. Termination of Isabelle Functions via Termination of Rewriting

4. Signature Extensions Preserve Termination : An Alternative Proof via Dependency Pairs

5. Finding and Certifying Loops

6. Certification of Termination Proofs Using CeTA

7. Loops under Strategies

8. Tyrolean Termination Tool 2

9. Root-Labeling

Catalog

Books, media, physical & digital resources