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

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]

This author has not been identified. Look up 'Ichiro Mitsuhashi' in GoogleThis author has not been identified. Look up 'Michio Oyamaguchi' in GoogleThis author has not been identified. Look up 'Yoshikatsu Ohta' in GoogleThis author has not been identified. Look up 'Toshiyuki Yamada' in Google

runs on WebDSL