Login / Signup

The Joinability and Related Decision Problems for Semi-constructor TRSs.

Ichiro MitsuhashiMichio OyamaguchiYoshikatsu OhtaToshiyuki Yamada
Published in: Inf. Media Technol. (2006)
Keyphrases