Miscellaneous
Selected Extended Papers of CADE 2015
Amy Felty and Aart Middeldorp (eds.)
special issue, Journal of Automated Reasoning 58(3), 2017
15th International Workshop on Termination (WST 2016)
Aart Middeldorp and René Thiemann (eds.)
proceedings, 2016
8th International Workshop on Computing with Terms and Graphs
(TERMGRAPH 2014)
Aart Middeldorp and Femke van Raamsdonk (eds.)
post-proceedings, Electronic Proceedings in Theoretical Computer Science
183, 2015
22nd International Conference on Rewriting Techniques and Applications
(RTA 2011)
Manfred Schmidt-Schauss and Aart Middeldorp (eds.)
special issue, Logical Methods in Computer Science, 2013
New Directions in Rewriting (Honoring the 60th Birthday of Yoshihito
Toyama)
Takahito Aoto and Aart Middeldorp (eds.)
special issue, Theoretical Computer Science 464, pages 1 – 130, 2012
8th International Workshop on Reduction Strategies in Rewriting and
Programming (WRS 2008)
Aart Middeldorp (ed.)
special issue, Electronic Notes in Theoretical Computer Science 237,
pp. 1 – 126,
2009
12th International Conference on Rewriting Techniques and Applications
(RTA 2001)
Aart Middeldorp (ed.)
special issue, Information and Computation 183(2), pp. 139 – 275,
2003
4th Fuji International Symposium on Functional and Logic Programming
(FLOPS 1999)
Aart Middeldorp and Taisuke Sato (eds.)
special issue, Journal of Functional and Logic Programming, 2001
Context-Freeness and Infinitary Normalization
Aart Middeldorp
presented at the 14th Japanese Term Rewriting Meeting, Nara Institute of
Science and Technology, March 15 – 16, 1999
A Simple Proof to a Result of Bernhard Gramlich
Aart Middeldorp
presented at the 5th Japanese Term Rewriting Meeting, Tsukuba, February 3
– 4, 1994
A Rewrite Approach to Polynomial Ideal Theory
Aart Middeldorp and Mirjana Starceviç
report CS-R9160, CWI, Amsterdam, 1991
Modular Properties of Term Rewriting Systems
Aart Middeldorp
PhD thesis, Vrije Universiteit, Amsterdam, 1990
Termherschrijfsystemen
Jan A. Bergstra, Jan Willem Klop, and Aart Middeldorp
Kluwer Bedrijfswetenschappen, 1989 (in Dutch)