The Joinability and Unification Problems for Confluent Semi-constructor TRSs

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]

Authors

Ichiro Mitsuhashi

This author has not been identified. Look up 'Ichiro Mitsuhashi' in Google

Michio Oyamaguchi

This author has not been identified. Look up 'Michio Oyamaguchi' in Google

Yoshikatsu Ohta

This author has not been identified. Look up 'Yoshikatsu Ohta' in Google

Toshiyuki Yamada

This author has not been identified. Look up 'Toshiyuki Yamada' in Google