Number of the records: 1
Decidability from a Numerical Point of View
- 1.
SYSNO 0459689 Title Decidability from a Numerical Point of View Author(s) Ratschan, Stefan (UIVT-O) SAI, RID, ORCID Source Title Mathematical Aspects of Computer and Information Sciences. XVI-XVI. - : Springer, 2016 / Kotsireas I.S. ; Rump S.M. ; Yao C.K. Conference MACIS 2015. International Conference on Mathematical Aspects of Computer and Information Sciences /6./, 11.11.2015 - 13.11.2015, Berlin Document Type Abstrakt Grant GA15-14484S GA ČR - Czech Science Foundation (CSF) Institutional support UIVT-O - RVO:67985807 Language eng Country CH Keywords decidability * numerical computation URL http://macis2015.zib.de/invited.html 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