17 results on '"Sternagel, Christian"'
Search Results
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
10. Certification of Nontermination Proofs
11. Generalized and Formalized Uncurrying
12. Termination of Isabelle Functions via Termination of Rewriting
13. Finding and Certifying Loops
14. Signature Extensions Preserve Termination
15. Loops under Strategies
16. Tyrolean Termination Tool 2
17. Root-Labeling
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.