## Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem (1996)

by
Christoph Lüth

Venue: | Rewriting Techniques and Applications, 7th International Conference, number 1103 in Lecture Notes in Computer Science |

Citations: | 9 - 2 self |