Edited Books
- Details
Proceedings of the 25 International Conference, Berlin, Germany
Amy Felty and Aart Middeldorp (eds.)
Lecture Notes in Artificial Intelligence 9195, 2015
BibTeX
@proceedings{CADE-25, editor = "Amy Felty and Aart Middeldorp", title = "Proceedings of the 25th International Conference on Automated Deduction", series = "Lecture Notes in Artificial Intelligence", volume = 9195, publisher = "Springer-Verlag", year = 2015, doi = "10.1007/978-3-319-21401-6" }
- Details
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
BibTeX
@proceedings{LPAR-19, editor = "Ken McMillan and Aart Middeldorp and Andrei Voronkov", title = "Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning", series = "Lecture Notes in Computer Science (Advanced Research in Computing and Software Science)", volume = 8312, publisher = "Springer-Verlag", year = 2013, doi = "10.1007/978-3-642-45221-5" }
Font Matter doi:10.1007/978-3-642-45221-5
© Springer
- Details
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
BibTeX
@proceedings{JWK60, editor = "Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel de Vrijer", title = "Processes, Terms and Cycles: Steps on the Road to Infinity; Essays Dedicated to {Jan Willem Klop} on the Occasion of his 60th Birthday", series = "Lecture Notes in Computer Science", volume = 3838, publisher = "Springer-Verlag", year = 2005, doi = "10.1007/11601548" }
Font Matter doi:10.1007/11601548
© Springer
- Details
Proceedings of the 4th Fuji International Symposium, Tsukuba, Japan
Aart Middeldorp and Taisuke Sato (eds.)
Lecture Notes in Computer Science 1722, 1999
BibTeX
@proceedings{FLOPS99, editor = "Aart Middeldorp and Taisuke Sato", title = "Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming", series = "Lecture Notes in Computer Science", volume = 1722, publisher = "Springer-Verlag", year = 1999, doi = "10.1007/10705424" }
Font Matter doi:10.1007/10705424 Special Issue
© Springer
- Details
Proceedings of the 12th International Conference, Utrecht, The Netherlands
Aart Middeldorp (ed.)
Lecture Notes in Computer Science 2051, 2001
BibTeX
@proceedings{RTA01, editor = "Aart Middeldorp", title = "Proceedings of the 12th International Conference on Rewriting Techniques and Applications", series = "Lecture Notes in Computer Science", volume = 2051, publisher = "Springer-Verlag", year = 2001, doi = "10.1007/3-540-45127-7" }
Font Matter doi:10.1007/3-540-45127-7 Special Issue
© Springer