Nachum Dershowitz
20 works on record
Works
Verification
2004
Calendrical calculations
1997
Conditional and typed rewriting systems
1995
Rewriting Techniques and Applications
1989
The evolution of programs
1980
Fields of logic and computation
Pillars of computer science
Evolution of Programmes (Progress in Computer Science)
Language, Culture, Computation : Computational Linguistics and Linguistics
Fields of Logic and Computation II
Orderings for term-rewriting systems
Equational programming
1986
Termination of rewriting
1985
A note on simplification orderings
1979
Enumerations of ordered trees
1979
The Schorr-Waite marking algorithm revisited
1979
Verification : Theory and Practice
Language, Culture, Computation : Computing for the Humanities, Law, and Narratives
Language, Culture, Computation : Computing - Theory and Technology
Fields of Logic and Computation III