Home Advanced Search

Advanced Search - Page 1

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.)
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-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Harald Ganzinger (auth.)
Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980
  • PDF
  • English
  • Year: 1980
  • Author: Harald Ganzinger (auth.), Neil D. Jones (eds.)
Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980
  • DJVU
  • English
  • Year: 1980
  • Author: Harald Ganzinger (auth.), Neil D. Jones (eds.)
Automata, Languages and Programming: 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Harald Ganzinger (auth.), Friedhelm Meyer, Burkhard Monien (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.)
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.)
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.)
Automated deduction--CADE 16: 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Harald Ganzinger
search