MPG.eBooks - Author Search Results

Cover Image

1

Functional and Logic Programming : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

by Middeldorp, Aart
Published 1999

Springer Berlin Heidelberg

Cover Image

2

Rewriting Techniques and Applications : 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings

by Middeldorp, Aart
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

3

Rewriting Techniques and Applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Middeldorp, Aart...”

Cover Image

4

Functional and Logic Programming : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Middeldorp, Aart...”

Cover Image

5

Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Published 2015

Springer International Publishing

Other Authors: “...Middeldorp, Aart...”

Cover Image

6

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Middeldorp, Aart...”

Cover Image

7

Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Middeldorp, Aart...”