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

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

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 581,43 KB