Weak Convergence and Uniform Normalization in Infinitary Rewriting (Q5389152)
From MaRDI portal
scientific article; zbMATH DE number 6027907
Language | Label | Description | Also known as |
---|---|---|---|
English | Weak Convergence and Uniform Normalization in Infinitary Rewriting |
scientific article; zbMATH DE number 6027907 |
Statements
25 April 2012
0 references
infinitary rewriting
0 references
weak convergence
0 references
uniform normalization
0 references
Weak Convergence and Uniform Normalization in Infinitary Rewriting (English)
0 references