Title: Conditional and typed rewriting systems
First published: 1995
Subjects: Congresses, Computer programming, Rewriting systems (Computer science), Algorithms, Mathematical theory of computation, Programming - General, Rewriting systems (Computer sc, Mathematics, Computers - Languages / Programming, Science/Mathematics, Logic, Programming Languages - General, Computer Science
LC classification: QA267 .I5783 1994