Invariant inequalities in programs interpreted over an ordered field (Q3777432)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Invariant inequalities in programs interpreted over an ordered field |
scientific article |
Statements
Invariant inequalities in programs interpreted over an ordered field (English)
0 references
1986
0 references
U-Y model of programs
0 references
real closure of a linearly ordered field
0 references
polynomial rings
0 references
approximating sequences of ideals
0 references
invariant inequalities
0 references
algebra of data
0 references
invariant relations
0 references
finiteness problem
0 references
algorithmically undecidable
0 references
