Polynomials over the reals in proofs of termination : from theory to practice (Q5313720)
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 2201289
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Polynomials over the reals in proofs of termination : from theory to practice |
scientific article; zbMATH DE number 2201289 |
Statements
Polynomials over the reals in proofs of termination : from theory to practice (English)
0 references
1 September 2005
0 references
term rewriting
0 references
polynomial algebras
0 references
constraint-solving systems
0 references
0.9227773
0 references
0.8932228
0 references
0.88909334
0 references
0.88597864
0 references
0.88551736
0 references
0.8787073
0 references
0.8753022
0 references
0.87201065
0 references
