Travelled to:1 × Germany
1 × Spain
1 × The Netherlands
Collaborated with:M.Oyamaguchi I.Mitsuhashi T.Yamada
Talks about:confluent (2) problem (2) system (2) rewrit (2) unif (2) term (2) constructor (1) parallel (1) rossser (1) joinabl (1)
Person: Yoshikatsu Ohta
DBLP: Ohta:Yoshikatsu
Contributed to:
200420011997Wrote 3 papers:
- RTA-2004-MitsuhashiOOY #confluence #problem #unification
- The Joinability and Unification Problems for Confluent Semi-constructor TRSs (IM, MO, YO, TY), pp. 285–300.
- RTA-2001-OyamaguchiO #confluence #problem #term rewriting #unification
- The Unification Problem for Confluent Right-Ground Term Rewriting Systems (MO, YO), pp. 246–260.
- RTA-1997-OyamaguchiO #linear #parallel #term rewriting
- A New Parallel Closed Condition for Church-Rossser of Left-Linear Term Rewriting Systems (MO, YO), pp. 187–201.