An edition of Term rewriting (1995)

Term Rewriting

French Spring School Of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science)

By French Spring School of Theoretical Computer Science (1993 Font-Romeu, France),Hubert Comon,Jean-Pierre Jouannaud

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

April 30, 1995

Publisher

Springer

Language

eng

Pages

221

Description:

subjects: Congresses, Rewriting systems (Computer science), Computer science, Mathematical Logic and Formal Languages, Computer Science, Computer Programming, Mathematics, Computers - Languages / Programming, Science/Mathematics, Logic