Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Aart Middeldorp

Multi-Completion With Termination Tools

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2012English

Confluence Competition 2019

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Type Introduction for Equational Rewriting

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2000English

Decidable Call-By-Need Computations in Term Rewriting

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2005English

Completeness of Combinations of Constructor Systems

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1993English

Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy