Edited Books

Automated Deduction
Proceedings of the 25th International Conference, Berlin, Germany
Amy Felty and Aart Middeldorp (eds.)
Lecture Notes in Artificial Intelligence 9195, 2015

Logic for Programming, Artificial Intelligence, and Reasoning
Proceedings of the 19th International Conference, Stellenbosch, South Africa
Ken McMillan, Aart Middeldorp, and Andrei Voronkov (eds.)
Lecture Notes in Computer Science (Advanced Research in Computing and Software Science) 8312, 2013

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

Rewriting Techniques and Applications
Proceedings of the 12th International Conference, Utrecht, The Netherlands
Aart Middeldorp (ed.)
Lecture Notes in Computer Science 2051, 2001

Functional and Logic Programming
Proceedings of the 4th Fuji International Symposium, Tsukuba, Japan
Aart Middeldorp and Taisuke Sato (eds.)
Lecture Notes in Computer Science 1722, 1999