Title of article
On modularity in infinitary term rewriting
Author/Authors
Jakob Grue Simonsen، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
32
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