First Page | Document Content | |
---|---|---|
Date: 2005-03-20 12:18:38Applied 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. PlaistedDocument is deleted from original location. Download Document from Web Archive |