Kunihiro Matsuura

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Ichiro Mitsuhashi, Michio Oyamaguchi, Kunihiro Matsuura
The Unification Problem for Confluent Semi-Constructor TRSs. IEICE Trans. Inf. Syst. (11) (2010)