Van Oostrom, Vincent books & textbook
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science) by Vincent van Oostrom (2008-06-13)
Springer / Unknown Binding
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
Logic Colloquium '99: Lecture Notes in Logic 17
Van Eijck, Jan Van Oostrom, Vincent Visser, Albert
A K Peters/CRC Press /2004-07-08 Paperback / 230 Pages
isbn-10: 1568812035 / isbn-13: 9781568812038
