Aart Middeldorp
Aart Middeldorp
Verified email at uibk.ac.at - Homepage
Title
Cited by
Cited by
Year
Completeness results for basic narrowing
A Middeldorp, E Hamoen
Applicable Algebra in Engineering, Communication and Computing 5 (3-4), 213-253, 1994
1721994
SAT solving for termination analysis with polynomial interpretations
C Fuhs, J Giesl, A Middeldorp, P Schneider-Kamp, R Thiemann, H Zankl
International Conference on Theory and Applications of Satisfiability …, 2007
1612007
Tyrolean termination tool: Techniques and features
N Hirokawa, A Middeldorp
Information and Computation 205 (4), 474-511, 2007
1542007
Tyrolean termination tool 2
M Korp, C Sternagel, H Zankl, A Middeldorp
International Conference on Rewriting Techniques and Applications, 295-304, 2009
1522009
Modular properties of term rewriting systems
A Middeldorp
Vrije Universiteit Amsterdam, 1990
1461990
Automating the dependency pair method
N Hirokawa, A Middeldorp
Information and computation, 2005
1362005
Sequentiality in orthogonal term rewriting systems
JW Klop, A Middeldorp
Journal of symbolic computation 12 (2), 161-195, 1991
1081991
Dependency pairs revisited
N Hirokawa, A Middeldorp
International Conference on Rewriting Techniques and Applications, 249-268, 2004
1022004
Lazy narrowing: Strong completeness and eager variable elimination
A Middeldorp, S Okui, T Ida
Theoretical Computer Science 167 (1-2), 95-130, 1996
951996
Call by need computations to root-stable form
A Middeldorp
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
941997
A sufficient condition for the termination of the direct sum of term rewriting systems
A Middeldorp
Proceedings. Fourth Annual Symposium on Logic in Computer Science, 396,397 …, 1989
921989
Transformation techniques for context-sensitive rewrite systems
J Giesl, A Middeldorp
Journal of Functional Programming 14 (4), 379-427, 2004
872004
Completeness of combinations of constructor systems
A Middeldorp, Y Toyama
International Conference on Rewriting Techniques and Applications, 188-199, 1991
831991
Satisfiability of non-linear (ir) rational arithmetic
H Zankl, A Middeldorp
International Conference on Logic for Programming Artificial Intelligence …, 2010
742010
Simple termination of rewrite systems
A Middeldorp, H Zantema
Theoretical Computer Science 175 (1), 127-158, 1997
701997
Modular aspects of properties of term rewriting systems related to normal forms
A Middeldorp
International Conference on Rewriting Techniques and Applications, 263-277, 1989
641989
Level-confluence of conditional rewrite systems with extra variables in right-hand sides
T Suzuki, A Middeldorp, T Ida
International Conference on Rewriting Techniques and Applications, 179-193, 1995
631995
A deterministic lazy narrowing calculus
A Middeldorp, S Okui
Journal of Symbolic Computation 25 (6), 733-757, 1998
611998
CSI–A confluence tool
H Zankl, B Felgenhauer, A Middeldorp
International Conference on Automated Deduction, 499-505, 2011
572011
Decidable call by need computations in term rewriting
I Durand, A Middeldorp
International Conference on Automated Deduction, 4-18, 1997
571997
The system can't perform the operation now. Try again later.
Articles 1–20