Title: Conditional and typed rewriting systems
First published: 1995
Subjects: Congresses, Electronic digital computers, Rewriting systems (Computer science), Programming, Algorithms, Computer programming, Electronic digital computers, programming
LC classification: QA267