Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Isabelle Gnaedig
Termination of Rewriting Under Strategies
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Related publications
Termination of Cycle Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Termination of Isabelle Functions via Termination of Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Matrix Interpretations for Proving Termination of Term Rewriting
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Rewriting Strategies and Strategic Rewrite Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Getting Termination Right: Strategies for Cervical Preparation
BJOG: An International Journal of Obstetrics and Gynaecology
Gynecology
Obstetrics
Query Rewriting Under Linear $$\Mathcal {EL}$$ Knowledge Bases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Term Rewriting With Prefix Context Constraints and Bottom-Up Strategies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Larval Diapause Termination of Monochamus Alternatus HOPE(Coleoptera:Cerambycidae)under Natural Conditions
Applied Entomology and Zoology
Insect Science
