Home Advanced Search

Advanced Search - Page 1

Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Henk Barendregt (auth.), Aart Middeldorp (eds.)
Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift
  • PDF
  • English
  • Year: 2013
  • Author: Henk Barendregt (auth.), Peter Paule (eds.)
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Amy P. Felty, Aart Middeldorp (eds.)
ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Henk Barendregt, Kees Hemerik (auth.), Neil Jones (eds.)
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl (auth.), Franz Winkler (eds.)
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl (auth.), Franz Winkler (eds.)
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 Tsukuba, Japan, November 11-13, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: J. C. González-Moreno, M. T. Hortalá-González (auth.), Aart Middeldorp, Taisuke Sato (eds.)
Algebraic Informatics: 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl (auth.), Franz Winkler (eds.)
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2005
  • Author: Robin Milner (auth.), Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (eds.)
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2005
  • Author: Robin Milner (auth.), Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (eds.)
search