Pages that link to "Item:Q868941"
From MaRDI portal
The following pages link to Quantifier elimination for the reals with a predicate for the powers of two (Q868941):
Displaying 9 items.
- A generalization of Cobham's theorem to automata over real numbers (Q1014642) (← links)
- The field of reals with a predicate for the powers of two (Q1094412) (← links)
- Real quantifier elimination is doubly exponential (Q1114669) (← links)
- Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091) (← links)
- (Q4247790) (← links)
- (Q4542541) (← links)
- Computational complexity of quantifier-free negationless theory of field of rational numbers (Q5957912) (← links)
- Computer Science for Continuous Data (Q6487409) (← links)
- Semantics, specification logic, and Hoare logic of exact real computation (Q6563064) (← links)