Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Johannes Waldmann

Matrix Interpretations for Proving Termination of Term Rewriting

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2007English

Related publications

Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Termination of Cycle Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Termination of Isabelle Functions via Termination of Rewriting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Termination of Rewriting Under Strategies

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2009English

Automatically Proving Program Termination

English

Proving Termination With Multiset Orderings

Communications of the ACM
Computer Science
1979English

Practical Methods for Proving Termination of General Logic Programs

Journal of Artificial Intelligence Research
Artificial Intelligence
1996English

Proving Non-Termination Using Max-SMT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Proving Existential Termination of Normal Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy