مرکز منطقه ای اطلاع رساني علوم و فناوري - The reachability and related decision problems for monadic and semi-constructor TRSs

Title of article :

The reachability and related decision problems for monadic and semi-constructor TRSs

Author/Authors :

Ichiro Mitsuhashi، نويسنده , , Michio Oyamaguchi، نويسنده , , Toshiyuki Yamada، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2006

Pages :

From page :

219

To page :

224

Keywords :

Theory of computation , Term rewriting systems

Journal title :

Information Processing Letters

Serial Year :

2006

Journal title :

Information Processing Letters

Record number :

130255

Link To Document :