Skew and ω-Skew Confluence and Abstract Böhm Semantics

Zena M. Ariola and Stefan Blom
Processes, Terms and Cycles: Steps on the Road to Infinity; Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday, Lecture Notes in Computer Science 3838, pp. 368 – 403, 2005.

Processes, Terms and Cycles: Steps on the Road to Infinity

Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, and Roel de Vrijer (eds.)
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday, Lecture Notes in Computer Science 3838, 2005.

Proofs of Termination of Rewrite Systems for Polytime Functions

Toshiyasu Arai and Georg Moser
Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005), Lecture Notes in Computer Science 3821, pp. 529 – 540, 2005.

Automating the Dependency Pair Method

Nao Hirokawa and Aart Middeldorp
Information and Computation 199(1,2), pp. 172 – 199, 2005.

Tyrolean Termination Tool

Nao Hirokawa and Aart Middeldorp
Proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA 2005), Lecture Notes in Computer Science 3467, pp. 175 – 184, 2005.

Decidable Call-by-Need Computations in Term Rewriting

Irène Durand and Aart Middeldorp
Information and Computation 196(2), pp. 95 – 126, 2005.