On confluence for weakly normalizing systems (Q5055761)
From MaRDI portal
scientific article; zbMATH DE number 7631169
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On confluence for weakly normalizing systems |
scientific article; zbMATH DE number 7631169 |
Statements
On confluence for weakly normalizing systems (English)
0 references
9 December 2022
0 references
0 references
