مرکز منطقه ای اطلاع رساني علوم و فناوري - On tree automata that certify termination of left-linear term rewriting systems

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 :

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 :