First Page | Document Content | |
---|---|---|
Date: 2001-02-15 10:07:19Applied 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. PlaistedAdd to Reading ListSource URL: rewriting.loria.frDownload Document from Source WebsiteFile Size: 512,53 KBShare Document on Facebook |