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