A factorisation theorem in rewriting theory

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0026981 ◽

1997 ◽

pp. 49-68 ◽

Author(s):

Paul-André Melliès

Download Full-text