Nachum Dershowitz
Books
- Pillars of computer science
- Fields of Logic and Computation III
- Fields of Logic and Computation II
- Fields of Logic and Computation
- Calendrical Calculations
- Language, Culture, Computation : Computing for the Humanities, Law, and Narratives
- Calendrical calculations
- Evolution of Programmes (Progress in Computer Science)
- Equational programming
- Rewriting Techniques and Applications
- Fields of logic and computation
- Language, Culture, Computation : Computing - Theory and Technology
- Calendrical Calculations
- Verification : Theory and Practice
- Conditional and typed rewriting systems
- Verification
- A note on simplification orderings
- The Schorr-Waite marking algorithm revisited
- Termination of rewriting
- The evolution of programs
- Orderings for term-rewriting systems
- Language, Culture, Computation : Computational Linguistics and Linguistics
- Enumerations of ordered trees
- Verification
Author data: Open Library