MPG.eBooks - Author Search Results

Nachum Dershowitz

Nachum Dershowitz is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems. Provided by Wikipedia

Cover Image

1

Rewriting Techniques and Applications : 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

by Dershowitz, Nachum
Published 1989

Springer

Cover Image

2

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

by Dershowitz, Nachum
Published 2004

Springer Berlin Heidelberg

Cover Image

3

Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

by Dershowitz, Nachum
Published 1995

Springer

Cover Image

4

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

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Dershowitz, Nachum...”

Cover Image

5

Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Published 1989

Springer Berlin Heidelberg

Other Authors: “...Dershowitz, Nachum...”

Cover Image

6

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

Published 2014

Springer Berlin Heidelberg

Other Authors: “...Dershowitz, Nachum...”

Cover Image

7

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

Published 2014

Springer Berlin Heidelberg

Other Authors: “...Dershowitz, Nachum...”

Cover Image

8

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

Published 2014

Springer Berlin Heidelberg

Other Authors: “...Dershowitz, Nachum...”

Cover Image

9

Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Dershowitz, Nachum...”

Cover Image

10

Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings

Published 1995

Springer Berlin Heidelberg

Other Authors: “...Dershowitz, Nachum...”

Cover Image

11

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

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Dershowitz, Nachum...”

Cover Image

12

Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Dershowitz, Nachum...”

Cover Image

13

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

Published 2020

Springer International Publishing

Other Authors: “...Dershowitz, Nachum...”

Cover Image

14

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

Published 2015

Springer International Publishing

Other Authors: “...Dershowitz, Nachum...”

Cover Image

15

Unconventional Computation : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Dershowitz, Nachum...”