Pages that link to "Item:Q3454091"
From MaRDI portal
The following pages link to Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091):
Displaying 6 items.
- The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two (Q892142) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- On the decidability of the real field with a generic power function (Q3107362) (← links)
- The existence of a near-unanimity term in a finite algebra is decidable (Q3399189) (← links)
- (Q4037354) (← links)
- (Q4583885) (← links)