## Grant Olney Passmore

*Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers*

CADE, 2015.

@inproceedings{CADE-2015-Passmore, author = "Grant Olney Passmore", booktitle = "{Proceedings of the 25th International Conference on Automated Deduction}", doi = "10.1007/978-3-319-21401-6_12", isbn = "978-3-319-21400-9", pages = "181--196", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers}", volume = 9195, year = 2015, }