Algorithms and reductions for rewriting problems

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0052369 ◽

1998 ◽

pp. 166-180 ◽

Cited By ~ 5

Author(s):

Rakesh M. Verma ◽

Michael Rusinowitch ◽

Denis Lugiez

Download Full-text