Request file
Review/Citation: FRANEK, Peter, RATSCHAN, Stefan, ZGLICZYNSKI, P. Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers. Journal of Automated Reasoning. 2016, 57(2), 157-185. ISSN 0168-7433. E-ISSN 1573-0670
Requested document: a0449388.pdf - Publisher’s postprint
The requested document is not available in open access mode. But it is possible to ask the author for a copy of the document through the form below. If your application is accepted, you will receive a document by e - mail.