Nachum Dershowitz

No biography available.

Works (8)

Cover of Calendrical calculations

Calendrical calculations

Cover of Fields of logic and computation

Fields of logic and computation

Cover of Verification

Cover of Orderings for term-rewriting systems

Orderings for term-rewriting systems

Cover of The evolution of programs

The evolution of programs

Cover of Language, Culture, Computation : Computational Linguistics and Linguistics

Language, Culture, Computation : Computational Linguistics and Linguistics

Cover of Conditional and typed rewriting systems

Conditional and typed rewriting systems

Cover of Pillars of computer science

Pillars of computer science