Aart Middeldorp
5 published titles
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
(Contributor)
1 edition
- ISBN: 354066677X
- Springer
- 1999
- Details
Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540421173
- Springer
- 2001
- Details
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
(Contributor)
1 edition
- ISBN: 354030911X
- Springer
- 2005
- Details
Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings
(Contributor)
1 edition
- ISBN: 9783642452208
- Springer
- 2013
- Details
Automated deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings
(Contributor)
1 edition
- ISBN: 9783319214009
- Springer
- 2015
- Details
