| |
| 2006 | ||
|---|---|---|
| 3 | EE | Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard: The Confluence Problem for Flat TRSs. AISC 2006: 68-81 |
| 2 | EE | Ichiro Mitsuhashi, Michio Oyamaguchi, Toshiyuki Yamada: The reachability and related decision problems for monadic and semi-constructor TRSs. Inf. Process. Lett. 98(6): 219-224 (2006) |
| 2004 | ||
| 1 | EE | Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada: The Joinability and Unification Problems for Confluent Semi-constructor TRSs. RTA 2004: 285-300 |
| 1 | Florent Jacquemard | [3] |
| 2 | Yoshikatsu Ohta | [1] |
| 3 | Michio Oyamaguchi | [1] [2] [3] |
| 4 | Toshiyuki Yamada | [1] [2] |