scientific article
From MaRDI portal
Publication:3485804
zbMath0705.65042MaRDI QIDQ3485804
Publication date: 1989
Full work available at URL: https://eudml.org/doc/68043
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first order theory of reals with exponentiationrecognition of consistencysubexponential-time algorithmssystems of polynomial inequalities
Related Items (1)
This page was built for publication: