The Confluence Problem for Flat TRSs

Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard. The Confluence Problem for Flat TRSs. In Jacques Calmet, Tetsuo Ida, Dongming Wang, editors, Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Volume 4120 of Lecture Notes in Computer Science, pages 68-81, Springer, 2006. [doi]


Abstract is missing.