Number of the records: 1
Decidability from a Numerical Point of View
- 1.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
File Download Size Commentary Version Access a0459689 Ratschan.pdf 6 47.6 KB Publisher’s postprint open-access
Number of the records: 1