Polynomials over the reals in proofs of termination : from theory to practice (Q5313720)
From MaRDI portal
scientific article; zbMATH DE number 2201289
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
