Ichiro Mitsuhashi

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Ichiro Mitsuhashi, Michio Oyamaguchi, Kunihiro Matsuura
The Unification Problem for Confluent Semi-Constructor TRSs. IEICE Trans. Inf. Syst. (11) (2010)
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada
The Joinability and Related Decision Problems for Semi-constructor TRSs. Inf. Media Technol. 1 (2) (2006)
Ichiro Mitsuhashi, Michio Oyamaguchi, Toshiyuki Yamada
The reachability and related decision problems for monadic and semi-constructor TRSs. Inf. Process. Lett. 98 (6) (2006)
Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard
The Confluence Problem for Flat TRSs. AISC (2006)
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada
The Joinability and Unification Problems for Confluent Semi-constructor TRSs. RTA (2004)