Decidability from a Numerical Point of View

Authors: Stefan Ratschan
Publication year: 2016
Publication type: Abstrakt
Periodical: Mathematical Aspects of Computer and Information Sciences
Projects: Simulation-Based Computation of Robust Invariants of Hybrid Dynamical Systems
Bibliographic citation: RATSCHAN, Stefan. Decidability from a Numerical Point of View. In: KOTSIREAS, I.S., RUMP, S.M., YAO, C.K., eds. Mathematical Aspects of Computer and Information Sciences. Springer, 2016, XVI-XVI. Lecture Notes in Computer Science, 9582. ISBN 978-3-319-32858-4. ISSN 0302-9743. Dostupné z: http://macis2015.zib.de/invited.html
ID: 459689

Abstract

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.