Title of article :
Test Sets for the Universal and Existential Closure of Regular Tree Languages
Author/Authors :
Dieter Hofbauer، نويسنده , , Maria Huber، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
regular tree languages , Term rewriting , ground reducibility , test sets.
Journal title :
Information and Computation
Journal title :
Information and Computation
