Middeldorp, Aart books & textbook
Rewriting Techniques & Applications
Springer /2001-05-09 Paperback / 363 Pages
isbn-10: 3540421173 / isbn-13: 9783540421177
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings (Lecture Notes in Computer Science, 1722)
Middeldorp, Aart Sato, Taisuke
Springer /1999-10-27 Paperback / 388 Pages
isbn-10: 354066677X / isbn-13: 9783540666776
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, ... Computer Science and General Issues)
McMillan, Ken Middeldorp, Aart Voronkov, Andrei
Springer /2013-12-02 Paperback / 808 Pages
isbn-10: 3642452205 / isbn-13: 9783642452208
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)
Middeldorp, Aart van Oostrom, Vincent van Raamsdonk, Femke de Vrijer, Roel
Springer /2005-12-13 Paperback / 660 Pages
isbn-10: 354030911X / isbn-13: 9783540309116
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)
Felty, Amy P. Middeldorp, Aart
Springer /2015-07-30 Paperback / 668 Pages
isbn-10: 3319214004 / isbn-13: 9783319214009
