Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples (Q5419491)
From MaRDI portal
scientific article; zbMATH DE number 6302294
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples |
scientific article; zbMATH DE number 6302294 |
Statements
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples (English)
0 references
10 June 2014
0 references
weakly orthogonal term rewrite systems
0 references
unique normal form property
0 references
infinitary rewriting
0 references
infinitary \(\lambda \beta \eta \)-calculus
0 references
collapsing rules
0 references
compression lemma
0 references