Decidability from a Numerical Point of View

Number of the records: 1

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-XVI
Number 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