Decidability from a Numerical Point of View

Autoři: doc. Dipl. Ing. Stefan Ratschan, Dr. tech.
Rok vydání: 2016
Typ publikace: Abstrakt
Periodikum: Mathematical Aspects of Computer and Information Sciences
Projekty: Výpočet robustních invariantů hybridních dynamických systémů s využitím simulací
Bibliografická citace: 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

Abstrakt

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.