Modularity in noncopying term rewriting (Q673186)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modularity in noncopying term rewriting |
scientific article |
Statements
Modularity in noncopying term rewriting (English)
0 references
28 February 1997
0 references
modular properties of term rewriting systems
0 references
terminating term rewriting systems
0 references
modularity of termination and of completeness
0 references
