On confluence and residuals in Cauchy convergent transfinite rewriting (Q2390300)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On confluence and residuals in Cauchy convergent transfinite rewriting |
scientific article |
Statements
On confluence and residuals in Cauchy convergent transfinite rewriting (English)
0 references
21 July 2009
0 references
transfinite term rewriting
0 references
infinitary rewriting
0 references
Cauchy convergence
0 references
church-rosser property
0 references
programming calculi
0 references
