Term rewriting systems with priorities

DSpace/Manakin Repository

Bergstra, J.A.; Baeten, J.C.M.; Klop, J.W.

(1987) Lecture Notes in Computer Science, volume 256, pp. 83 - 94

(Article in proceedings)

Download/Full Text

ISSN: 0302-9743

Publisher: Springer Verlag

See more statistics about this item