A fully syntactic AC-RPO (Q4938602)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1405623
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A fully syntactic AC-RPO |
scientific article; zbMATH DE number 1405623 |
Statements
23 February 2000
0 references
recursive path ordering
0 references
0.997330129146576
0 references
0.8524194955825806
0 references
0.82606041431427
0 references
0.7823562026023865
0 references
A fully syntactic AC-RPO (English)
0 references
