Modularity of termination and confluence in combinations of rewrite systems with λω (Q4630300)
From MaRDI portal
scientific article; zbMATH DE number 7045151
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modularity of termination and confluence in combinations of rewrite systems with λω |
scientific article; zbMATH DE number 7045151 |
Statements
Modularity of termination and confluence in combinations of rewrite systems with λω (English)
0 references
29 March 2019
0 references
function symbol
0 references
critical pair
0 references
modular property
0 references
recursive definition
0 references
higher-order function
0 references
