Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jürgen Giesl
Termination of Isabelle Functions via Termination of Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Search Techniques for Rational Polynomial Orders
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Termination of Cycle Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Termination of Rewriting Under Strategies
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Matrix Interpretations for Proving Termination of Term Rewriting
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Topological Formulation of Termination Properties of Iterates of Functions
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Termination and Non-Termination Specification Inference
ACM SIGPLAN Notices
Computer Science
Termination of Pregnancy
The Professional Medical Journal
Policy Iteration-Based Conditional Termination and Ranking Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Confluence of Non-Left-Linear TRSs via Relative Termination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pregnancy Termination
American Journal of Public Health
Environmental
Public Health
Occupational Health
