Author

Nachum Dershowitz

15 books found

Cover of Language, Culture, Computation : Computing - Theory and Technology

Language, Culture, Computation : Computing - Theory and Technology

Nachum Dershowitz, Ephraim Nissan · First published 2014

Cover of Fields of logic and computation

Fields of logic and computation

Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig · First published 2010

Cover of Fields of Logic and Computation

Fields of Logic and Computation

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig · First published 2010

Cover of Calendrical Calculations

Calendrical Calculations

Edward M. Reingold, Nachum Dershowitz · First published 2001

Cover of Verification

Verification

Nachum Dershowitz · First published 2004

Cover of Calendrical calculations

Calendrical calculations

Nachum Dershowitz, Edward M. Reingold · First published 1997

Cover of Rewriting Techniques and Applications

Rewriting Techniques and Applications

Nachum Dershowitz · First published 1989

Placeholder cover for Equational programming

Equational programming

Nachum Dershowitz · First published 1986

Placeholder cover for Termination of rewriting

Termination of rewriting

Nachum Dershowitz · First published 1985

Cover of Evolution of Programmes (Progress in Computer Science)

Evolution of Programmes (Progress in Computer Science)

Nachum Dershowitz · First published 1984

Cover of The evolution of programs

The evolution of programs

Nachum Dershowitz · First published 1980

Cover of A note on simplification orderings

A note on simplification orderings

Nachum Dershowitz · First published 1979

Cover of Enumerations of ordered trees

Enumerations of ordered trees

Nachum Dershowitz · First published 1979

Cover of Orderings for term-rewriting systems

Orderings for term-rewriting systems

Nachum Dershowitz · First published 1979

Cover of The Schorr-Waite marking algorithm revisited

The Schorr-Waite marking algorithm revisited

Nachum Dershowitz · First published 1979