Počet záznamů: 1
Decidability from a Numerical Point of View
- 1.0459689 - ÚI 2017 RIV CH eng A - Abstrakt
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]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: decidability * numerical computation
Kód oboru RIV: IN - Informatika
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.
Trvalý link: http://hdl.handle.net/11104/0259862
Název souboru Staženo Velikost Komentář Verze Přístup a0459689 Ratschan.pdf 6 47.6 KB Vydavatelský postprint povolen
Počet záznamů: 1