| |
| 2004 | ||
|---|---|---|
| 4 | EE | Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada: The Joinability and Unification Problems for Confluent Semi-constructor TRSs. RTA 2004: 285-300 |
| 2003 | ||
| 3 | EE | Michio Oyamaguchi, Yoshikatsu Ohta: The unification problem for confluent right-ground term rewriting systems. Inf. Comput. 183(2): 187-211 (2003) |
| 2001 | ||
| 2 | EE | Michio Oyamaguchi, Yoshikatsu Ohta: The Unification Problem for Confluent Right-Ground Term Rewriting Systems. RTA 2001: 246-260 |
| 1997 | ||
| 1 | Michio Oyamaguchi, Yoshikatsu Ohta: A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems. RTA 1997: 187-201 | |
| 1 | Ichiro Mitsuhashi | [4] |
| 2 | Michio Oyamaguchi | [1] [2] [3] [4] |
| 3 | Toshiyuki Yamada | [4] |