Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. I.J. Aalbersberg and G. Rozenberg. Theory of traces. Theoret. Comput. Sci., 60:1–82, 1988.
2. L. Bachmair and N. Dershowitz. Critical pair criteria for completion. J. Symbolic Computation, 6:1–18, 1988.
3. R. Book and H.-N. Liu. Rewriting systems and word problems in a free partially commutative monoid. Inform. Proc. Letters, 26:29–32, 1987.
4. R. Book. Confluent and other types of Thue systems. J. Assoc. for Comp. Mach., 29:171–182, 1982.
5. R. Cori and Y. Métivier. Approximation d' une trace, automates asynchrones et ordre des evenement dans les systemes repartis. Technical Report 1-8708, UER de Mathematiques et d' Informatique, Université de Bordeaux I, 1987.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献