Skip to contents

Dershowitz, Nachum [Editor] ; CTRS 4 1994 Yerûšālayim

Conditional and typed rewriting systems : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 968
Dershowitz, Nachum [Author]

The evolution of programs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston; Stuttgart [u.a.]: Birkhäuser, 1983

Published in: Progress in computer science ; 500
Dershowitz, Nachum [Editor]; Voronkov, Andrei [Other] ; LPAR 14 2007 Jerewan

Logic for programming artificial intelligence and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4790
Dershowitz, Nachum [Editor]; Manna, Zohar [Honoree]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2772
Reingold, Edward M. [Author]; Dershowitz, Nachum [Author]

Calendrical calculations : the ultimate edition - [Fourth edition]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge: Cambridge University Press, 2018
Blass, Andreas [Editor]; Gurevich, Yuri [Honoree]; Dershowitz, Nachum [Other]; Reisig, Wolfgang [Other]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6300
Avron, Arnon [Editor]; Trachtenbrot, Boris Avraamovič [Honoree]; Dershowitz, Nachum [Other]; Rabinovich, Alexander [Other]; Trachtenbrot, Boris A. [Honoree]

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 4800
Dershowitz, Nachum [Author] ; Nachum Dershowitz [Contributor]

Res Publica: The Universal Model of Computation (Invited Talk)

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Dershowitz, Nachum [Other] ; CTRS 4 1994 Yerûšālayim

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1995 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 96800
Dershowitz, Nachum [Other] ; RTA 3 1989 Chapel Hill, NC

Rewriting techniques and applications : 3rd international conference, RTA-89, Chapel Hill, North Carolina, USA, April 3 - 5, 1989 ; proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1989 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 35500
Dershowitz, Nachum [Author] ; Nissan, Ephraim [Editor]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2014

Published in: Lecture notes in computer science ; 8003
Dershowitz, Nachum [Author] ; Nissan, Ephraim [Editor]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2014

Published in: Lecture notes in computer science ; 8002
Dershowitz, Nachum [Author] ; Nissan, Ephraim [Editor]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2014

Published in: Lecture notes in computer science ; 8001
Dershowitz, Nachum [Author]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

Published in: Lecture notes in computer science ; 2772
Dershowitz, Nachum [Author]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2004

Published in: Lecture notes in computer science ; 277200
Dershowitz, Nachum [Author] ; Lindenstrauss, Naomi [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

Published in: Lecture notes in computer science ; 968
Dershowitz, Nachum [Author]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

Published in: Lecture notes in computer science ; 355
Dershowitz, Nachum [Author]

The Evolution of Programs

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston, MA: Birkhäuser Boston, 1983

Published in: Progress in Computer Science No.5 ; 5- Progress in Computer Science and Applied Logic ; 5
Blass, Andreas [Author] ; Dershowitz, Nachum [Other]; Reisig, Wolfgang [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6300
Dershowitz, Nachum [Other]; Voronkov, Andrei [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4790

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication