Join Books.org — it's free

Conditional and Typed Rewriting Systems by Nachum Dershowitz β€” book cover
Computer Programming, Engineering - General & Miscellaneous, Radar & Signal Processing, Radar & Signal Processing, Electrical & Electronic Engineering, Mathematics, Mathematics, Mathematical Analysis, Electrical & Electronic Engineering, Engineering - Gen

Conditional and Typed Rewriting Systems

by Nachum Dershowitz (Editor), Naomi Lindenstrauss
Available on Bookshop Write a review

Books.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.

Log in to track your reading progress.
Readers discussing Conditional and Typed Rewriting Systems — questions, passages they’re puzzling over, and what to read next. Log in to read full threads and join in.

Start a discussion about this book

No discussions about this book yet.

Be the first — share a question, a passage, or a thought about Conditional and Typed Rewriting Systems.