Number of the records: 1
Decidability from a Numerical Point of View
- 1.
SYSNO ASEP 0459689 Document Type A - Abstract R&D Document Type O - Ostatní 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. - : Springer, 2016 / Kotsireas I.S. ; Rump S.M. ; Yao C.K. - ISSN 0302-9743 - ISBN 978-3-319-32858-4
XVI-XVINumber of pages 1 s. Publication form Print - P Action MACIS 2015. International Conference on Mathematical Aspects of Computer and Information Sciences /6./ Event date 11.11.2015 - 13.11.2015 VEvent location Berlin Country DE - Germany Event type WRD Language eng - English Country CH - Switzerland Keywords decidability ; numerical computation Subject RIV IN - Informatics, Computer Science R&D Projects GA15-14484S GA ČR - Czech Science Foundation (CSF) Institutional support UIVT-O - RVO:67985807 Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2017
Number of the records: 1