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

Company

Bendix / Hercules / Elsevier Science Publishers B.V. / /

IndustryTerm

proof systems / associative concatenation operator / computer applications / convergent systems / equational systems / For such systems / /

Person

Andrei Voronkov / Mitch Harris / Bernhard Gramlich / David A. Plaisted / Konstantin Korovin / Nachum Dershowitz / Eric Partridge / Axel Thue / Alan Robinson / /

/

Position

R. General / severed head / fresh head / machine interpreter / chopped head / head at the apex / head / Interpreter / /

SocialTag