Term Rewriting
Subtitle: French Spring School Of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science)
Publisher: Springer
Published: April 30, 1995
Language: eng
Format: Paperback
Number of pages: 221
ISBN-13: 9783540593409
Subjects: Computer Programming; Mathematics; Computers - Languages / Programming; Science/Mathematics; Logic; Programming - General
First sentence: Let T be the set of all terms over some vocabulary.