A dependency pair framework for \(A \vee C\)-termination (Q4933277)
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: A dependency pair framework for A C-termination |
scientific article; zbMATH DE number 5798870
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A dependency pair framework for \(A \vee C\)-termination |
scientific article; zbMATH DE number 5798870 |
Statements
A Dependency Pair Framework for A ∨ C-Termination (English)
0 references
12 October 2010
0 references
equational rewriting
0 references
termination
0 references
dependency pairs
0 references
0.8534563183784485
0 references
0.8261034488677979
0 references
0.8035848140716553
0 references
0.8035848140716553
0 references
