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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8194445371627808
0 references
0.8186753392219543
0 references
0.8152342438697815
0 references
0.8080689907073975
0 references
