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