Home Advanced Search

Advanced Search - Page 1

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980
  • PDF
  • English
  • Year: 1980
  • Author: Harald Ganzinger (auth.), Neil D. Jones (eds.)
Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985
  • PDF
  • English
  • Year: 1986
  • Author: Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)
Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Deepak Kapur (auth.), Harald Ganzinger (eds.)
Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Harald Ganzinger (auth.), M. A. McRobbie, J. K. Slaney (eds.)
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers
  • PDF
  • English
  • Year: 1995
  • Author: Leo Bachmair, Harald Ganzinger, Jürgen Stuber (auth.), Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)
Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (eds.)
Computability Theory: An Introduction
  • PDF
  • English
  • Year: 1973
  • Author: Neil D. Jones
search