| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 4 |      | Ichiro Mitsuhashi, Michio Oyamaguchi, Kunihiro Matsuura: The Unification Problem for Confluent Semi-Constructor TRSs. IEICE Transactions 93-D(11): 2962-2978 (2010) |
| 2006 | ||
| 3 | | Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacquemard: The Confluence Problem for Flat TRSs. AISC 2006: 68-81 |
| 2 | | 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 | | 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 | Kunihiro Matsuura | [4] |
| 3 | Yoshikatsu Ohta | [1] |
| 4 | Michio Oyamaguchi | [1] [2] [3] [4] |
| 5 | Toshiyuki Yamada | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page