Nachum Dershowitz

No bio available. Add one in Open Library.

Books by Nachum Dershowitz (50 max)

+ shelf+ list

The evolution of programs program abstraction and instantiation

1980

Nachum Dershowitz

+ shelf+ list

Calendrical calculations

1997

Nachum Dershowitz, Edward M. Reingold

+ shelf+ list

Calendrical Calculations

2007

Edward M. Reingold, Nachum Dershowitz

+ shelf+ list

Language, Culture, Computation : Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III

2014

Nachum Dershowitz, Ephraim Nissan

+ shelf+ list

Language, Culture, Computation : Computing for the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II

2014

Nachum Dershowitz, Ephraim Nissan

+ shelf+ list

A note on simplification orderings

1979

Nachum Dershowitz

+ shelf+ list

Enumerations of ordered trees

1979

Nachum Dershowitz

+ shelf+ list

The Schorr-Waite marking algorithm revisited

1979

Nachum Dershowitz

+ shelf+ list

Conditional and typed rewriting systems: 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings

1995

International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994 Jerusalem), Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata, Naomi Lindenstrauss, Nachum Dershowitz

+ shelf+ list

Verification : Theory and Practice Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

2004

Nachum Dershowitz

+ shelf+ list

Pillars of computer science: essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday

2008

B. A. Trakhtenbrot, Arnon Avron, Nachum Dershowitz, Alexander Rabinovich

+ shelf+ list

Language, Culture, Computation : Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I

2014

Nachum Dershowitz, Ephraim Nissam

+ shelf+ list

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2015

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

+ shelf+ list

Orderings for term-rewriting systems

1979

Nachum Dershowitz

+ shelf+ list

Evolution of Programmes (Progress in Computer Science)

1984

Nachum Dershowitz

+ shelf+ list

Termination of rewriting

1985

Nachum Dershowitz

+ shelf+ list

Equational programming

1986

Nachum Dershowitz

+ shelf+ list

Rewriting Techniques and Applications: 3rd International Conference, Rta-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science)

1989

Nachum Dershowitz

+ shelf+ list

Calendrical Calculations: The Millennium Edition

2001

Edward M. Reingold, Nachum Dershowitz

+ shelf+ list

Verification: theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

2004

Nachum Dershowitz

+ shelf+ list

Verification: Theory and Practice

2004

Nachum Dershowitz

+ shelf+ list

Fields of logic and computation: essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

2010

Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

+ shelf+ list

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

2010

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

+ shelf+ list

Fields of Logic and Computation III Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

2020

Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Prof. Manfred Droste, Bernd Finkbeiner