A new parallel closed condition for Church-Rosser of left-linear term rewriting systems (Q4594227)
From MaRDI portal
scientific article; zbMATH DE number 6808103
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new parallel closed condition for Church-Rosser of left-linear term rewriting systems |
scientific article; zbMATH DE number 6808103 |
Statements
A new parallel closed condition for Church-Rosser of left-linear term rewriting systems (English)
0 references
17 November 2017
0 references
