Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (Q3454091)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers |
scientific article |
Statements
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers (English)
0 references
2 December 2015
0 references
