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 1 Rewriting Nachum Dershowitz David A. Plaisted
Add to Reading List

Document Date: 2001-02-15 10:07:19

Open Document

File Size: 512,53 KB

Share Result on Facebook
UPDATE