Authors | Nachum Dershowitz
autor-image
Nachum Dershowitz

Books by Nachum Dershowitz

Verification
Verification: by Nachum Dershowitz
by Nachum Dershowitz
Rewriting Techniques and Applications: 3rd International Conference, Rta-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
Rewriting Techniques and Applications: 3rd International Conference, Rta-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings: by Nachum Dershowitz
by Nachum Dershowitz
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings: by Nachum Dershowitz
by Nachum Dershowitz

Stay in touch.

© 2025 AMPLE READS