Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
  • PDF
  • English
  • Year: 2004
  • Author: Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
  • PDF
  • English
  • Year: 2004
  • Author: Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)
The Evolution of Programs
  • PDF
  • English
  • Year: 1983
  • Author: Nachum Dershowitz (auth.)
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)
Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings
  • PDF
  • English
  • Year: 1989
  • Author: Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
  • PDF
  • English
  • Year: 2010
  • Author: Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
search