Satisfiability of Systems of Equations of Real Analytic Functions Is Quasi-decidable.

Peter Franek, Stefan Ratschan, Piotr Zgliczynski

Browse the full MFCS paper archive.