Publications in 2005

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.