مرکز منطقه ای اطلاع رساني علوم و فناوري - Undecidability of ground reducibility for word rewriting systems with variables

Title of article :

Undecidability of ground reducibility for word rewriting systems with variables

Author/Authors :

Gregory Kucherov، نويسنده , , Michaël Rusinowitch، نويسنده ,

Issue Information :

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

Pages :

From page :

209

To page :

215

Keywords :

Theory of computation , Term rewriting systems , formal languages , Pattern matching

Journal title :

Information Processing Letters

Serial Year :

1995

Journal title :

Information Processing Letters

Record number :

128203

Link To Document :