Decidability from a Numerical Point of View

0459689 - ÚI 2017 RIV CH eng A - Abstract
Ratschan, Stefan
Decidability from a Numerical Point of View.
Mathematical Aspects of Computer and Information Sciences. Springer, 2016 - (Kotsireas, I.; Rump, S.; Yao, C.). XVI-XVI. ISBN 978-3-319-32858-4. ISSN 0302-9743.
[MACIS 2015. International Conference on Mathematical Aspects of Computer and Information Sciences /6./. 11.11.2015-13.11.2015, Berlin]
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : decidability * numerical computation
Subject RIV: IN - Informatics, Computer Science
http://macis2015.zib.de/invited.html

Abstract of invited plenary talk at the 6th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015), published in Mathematical Aspects of Computer and Information Sciences, Springer, 2016, p. XVI, LNCS 9582, ISBN 978-3-319-32858-4.
Permanent Link: http://hdl.handle.net/11104/0259862