Title: Term rewriting
First published: 1995
Subjects: Congresses, Rewriting systems (Computer science), Computer science, Mathematical Logic and Formal Languages, Computer Science, Computer Programming, Mathematics, Computers - Languages / Programming, Science/Mathematics, Logic, Programming - General
LC classification: QA75.5 .F74 1993