Title of article
On tree automata that certify termination of left-linear term rewriting systems
Author/Authors
Alfons Geser، نويسنده , , Dieter Hofbauer، نويسنده , , Johannes Waldmann، نويسنده , , Hans Zantema، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
23
From page
512
To page
534
Keywords
Forward closures , Term rewriting systems , Tree automata , Rewrite labellings , Termination
Journal title
Information and Computation
Serial Year
2007
Journal title
Information and Computation
Record number
262397
Link To Document