Back to Results
First PageMeta Content
Applied mathematics / Logic in computer science / Mathematical logic / Rewriting / Computability theory / Semi-Thue system / Differential equation / Normal form / Linear equation / Theoretical computer science / Mathematics / Formal languages


Chapter 9 Rewriting Nachum Dershowitz David A. Plaisted
Add to Reading List

Document Date: 2005-03-20 12:18:38

Open Document

File Size: 581,43 KB

Share Result on Facebook
UPDATE