Sufficient completeness verification for conditional and constrained TRS (Q420848)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sufficient completeness verification for conditional and constrained TRS |
scientific article |
Statements
Sufficient completeness verification for conditional and constrained TRS (English)
0 references
23 May 2012
0 references
sufficient completeness
0 references
conditional and constrained term rewriting
0 references
narrowing
0 references
tree grammars
0 references
0 references
