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

Cached

Download Links

by Christoph Lüth
Venue:Rewriting Techniques and Applications, 7th International Conference, number 1103 in Lecture Notes in Computer Science
Citations:9 - 2 self