×

Found 40 Documents (Results 1–40)

Looking at Euler flows through a contact mirror: universality and undecidability. (English) Zbl 07763397

Hujdurović, Ademir (ed.) et al., European congress of mathematics. Proceedings of the 8th congress, 8ECM, Portorož, Slovenia, June 20–26, 2021. Berlin: European Mathematical Society (EMS). 367-393 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

The transitivity problem of Turing machines. (English) Zbl 1465.68072

Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 231-242 (2015).
PDFBibTeX XMLCite
Full Text: DOI HAL

On the complexity of bounded time reachability for piecewise affine systems. (English) Zbl 1393.68065

Ouaknine, Joël (ed.) et al., Reachability problems. 8th international workshop, RP 2014, Oxford, UK, September 22–24, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-11438-5/pbk). Lecture Notes in Computer Science 8762, 20-31 (2014).
MSC:  68Q25 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software