01
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings (Lecture Notes in Computer Science)
The earliest high-confidence catalog date in this author overview is 1999.
Author
Aart Middeldorp
6 cataloged contributions
1999–2015 across 5 high-confidence dated works
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
Start with
A considered starting point for reading Aart Middeldorp, drawn from catalog context and salon activity when available.
02
Rewriting Techniques and Applications 12th International Conference, RTA 2001, Utrecht, the Netherlands, May 22-24, 2001. Proceedings
A clearly attributed work with a supported 2003 catalog date.
03
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)
A clearly attributed work with a supported 2006 catalog date.
04
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
A clearly attributed work with a supported 2012 catalog date.
05
Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
A clearly attributed work with a supported 2015 catalog date.
The catalog
Bibliography
5 works
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
5 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
2 cataloged editions
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0
1 cataloged edition
- shelves
- 0
- reviews
- 0
- lists
- 0
- quotes
- 0