Rewriting Techniques and Applications
Subtitle: 3rd International Conference, Rta-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science)
Publisher: Not Avail
Published: April 1989
Language: eng
Format: Paperback
Number of pages: 579
ISBN-13: 9783540510819
Subjects: Mathematical logic; Programming; Electronic digital computers; Mathematics; Programming Languages - General; Computer Science; Logic; Congresses; Computer algorithms; Rewriting systems (Computer sc
First sentence: Let E be an equational theory and =E be the equality of terms, induced by E.