Sciweavers

RTA
2004
Springer

The Joinability and Unification Problems for Confluent Semi-constructor TRSs

13 years 10 months ago
The Joinability and Unification Problems for Confluent Semi-constructor TRSs
Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu O
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where RTA
Authors Ichiro Mitsuhashi, Michio Oyamaguchi, Yoshikatsu Ohta, Toshiyuki Yamada
Comments (0)