三橋一郎|Ichiro Mitsuhashi

三橋一郎|Ichiro Mitsuhashi

Mie University - Tsu / Japan
Others
AD Scientific Index ID: 5791087
三重大学
person_outline 三橋一郎|Ichiro Mitsuhashi's MOST POPULAR ARTICLES
1-) The confluence problem for flat TRSsI Mitsuhashi, M Oyamaguch, F JacquemardArtificial Intelligence and Symbolic Computation: 8th International …, 2006252006
2-) The joinability and unification problems for confluent semi-constructor TRSsI Mitsuhashi, M Oyamaguchi, Y Ohta, T YamadaRewriting Techniques and Applications: 15th International Conference, RTA …, 200472004
3-) On the unification problem for confluent monadic term rewriting systemsI Mitsuhashi, M Oyamaguchi, Y Ohta, T YamadaIPSJ Transactions on Programming 44 (SIG 4 (PRO 17)), 54-66, 200372003
4-) The reachability and related decision problems for monadic and semi-constructor TRSsI Mitsuhashi, M Oyamaguchi, T YamadaInformation Processing Letters 98 (6), 219-224, 200662006
5-) The joinability and related decision problems for semi-constructor TRSsI Mitsuhashi, M Oyamaguchi, Y Ohta, T YamadaInformation and Media Technologies 1 (2), 796-808, 200652006