Number of the records: 1
Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable
- 1.Franek, P., Ratschan, S., Zgliczynski, P. Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable. In: MURLAK, F., SANKOWSKI, P., eds. Mathematical Foundations of Computer Science 2011. Berlin: Springer, 2011, s. 315-326. Lecture Notes in Computer Science, 6907. ISBN 978-3-642-22992-3. ISSN 0302-9743. Available: doi: 10.1007/978-3-642-22993-0_30
Number of the records: 1