0379746 - MÚ 2013 RIV GB eng M - Část monografie knihy
Haar, S. - Masopust, Tomáš
Languages, decidability, and complexity.
Control of Disrete-Event Systems : Automata and Petri Net Perspectives. 1. London: Springer, 2013 - (Seatzu, C.; Silva, M.; van Schuppen, J.), s. 23-43. Lecture Notes in Control and Information Sciences, 433. ISBN 978-1-4471-4275-1
Grant CEP: GA ČR GPP202/11/P028
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Institucionální podpora: RVO:67985840
Klíčová slova: Automata theory * decidability * complexity
Kód oboru RIV: BA - Obecná matematika
Web výsledku:
http://link.springer.com/chapter/10.1007/978-1-4471-4276-8_2DOI: https://doi.org/10.1007/978-1-4471-4276-8_2
Trvalý link: http://hdl.handle.net/11104/0210630