Title of article :
On confluence and residuals in Cauchy convergent transfinite rewriting
Author/Authors :
Jakob Grue Simonsen، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2004
Keywords :
Infinitary rewriting , Programming calculi , Cauchy convergence , Transfinite term rewriting , Church–Rosser property
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
