مرکز منطقه ای اطلاع رساني علوم و فناوري - On modularity in infinitary term rewriting

Title of article :

On modularity in infinitary term rewriting

Author/Authors :

Jakob Grue Simonsen، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2006

Pages :

From page :

957

To page :

988

Keywords :

term rewriting , modularity , Strong convergence , Church-Rosser property , confluence , normalization , Infinitary rewriting

Journal title :

Information and Computation

Serial Year :

2006

Journal title :

Information and Computation

Record number :

262354

Link To Document :