Title of article
Undecidability of ground reducibility for word rewriting systems with variables
Author/Authors
Gregory Kucherov، نويسنده , , Michaël Rusinowitch، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1995
Pages
7
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