The Joinability and Unification Problems for Confluent Semi-constructor TRSs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada. The Joinability and Unification Problems for Confluent Semi-constructor TRSs. In Vincent van Oostrom, editor, Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings. Volume 3091 of Lecture Notes in Computer Science, pages 285-300, Springer, 2004. [doi]

The following publications are possibly variants of this publication:

The Unification Problem for Confluent Semi-Constructor TRSsIchiro Mitsuhashi, Michio Oyamaguchi, Kunihiro Matsuura. ieicet, 93-D(11):2962-2978, 2010. [doi]

The reachability and related decision problems for monadic and semi-constructor TRSsIchiro Mitsuhashi, Michio Oyamaguchi, Toshiyuki Yamada. ipl, 98(6):219-224, 2006. [doi]

The Confluence Problem for Flat TRSsIchiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard. AISC 2006: 68-81 [doi]

The unification problem for confluent right-ground term rewriting systemsMichio Oyamaguchi, Yoshikatsu Ohta. iandc, 183(2):187-211, 2003. [doi]

The Unification Problem for Confluent Right-Ground Term Rewriting SystemsMichio Oyamaguchi, Yoshikatsu Ohta. RTA 2001: 246-260 [doi]

Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are ConfluentMasahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa. cade 2015: 111-126 [doi]

runs on WebDSL