Sufficient completeness verification for conditional and constrained TRS (Q420848)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Sufficient completeness verification for conditional and constrained TRS |
scientific article; zbMATH DE number 6037807
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sufficient completeness verification for conditional and constrained TRS |
scientific article; zbMATH DE number 6037807 |
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
