On confluence and residuals in Cauchy convergent transfinite rewriting (Q2390300)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On confluence and residuals in Cauchy convergent transfinite rewriting |
scientific article; zbMATH DE number 5581164
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On confluence and residuals in Cauchy convergent transfinite rewriting |
scientific article; zbMATH DE number 5581164 |
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
0.8012729287147522
0 references
0.7933787703514099
0 references
0.7816391587257385
0 references
0.7787067294120789
0 references
0.7701502442359924
0 references