Ichiro Mitsuhashi

According to our database, Ichiro Mitsuhashi authored at least 4 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

The Unification Problem for Confluent Semi-Constructor TRSs.

Ichiro Mitsuhashi, Michio Oyamaguchi, Kunihiro Matsuura

IEICE Trans. Inf. Syst., 2010

2006

The reachability and related decision problems for monadic and semi-constructor TRSs.

Ichiro Mitsuhashi, Michio Oyamaguchi, Toshiyuki Yamada

Inf. Process. Lett., 2006

The Confluence Problem for Flat TRSs.

Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2004

The Joinability and Unification Problems for Confluent Semi-constructor TRSs.

Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004