Aart Middeldorp

Identifiers

Open LibraryOL7865225A

Top Subjects

Calculus (1)

Books by Aart Middeldorp

Total count: 5

Rewriting Techniques and Applications12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings

Springer London, Limited2003-01-01
Processes, Terms and Cycles : Steps on the Road to InfinityEssays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Springer London, Limited2005-01-01
Functional and Logic Programming4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Springer London, Limited2006-01-01
Logic for Programming, Artificial Intelligence, and Reasoning19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Springer London, Limited2013-01-01
Automated Deduction - CADE-2525th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Springer2015-07-30