Incollection3002: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Tomas Masopust (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Knowledge Systems“ durch „|Forschungsgruppe=Wissensbasierte Systeme“) |
||
Zeile 20: | Zeile 20: | ||
|ISSN=0170-8643 | |ISSN=0170-8643 | ||
|DOI Name=10.1007/978-1-4471-4276-8_2 | |DOI Name=10.1007/978-1-4471-4276-8_2 | ||
|Forschungsgruppe= | |Forschungsgruppe=Wissensbasierte Systeme | ||
}} | }} |
Version vom 24. Mai 2016, 18:01 Uhr
Languages, Decidability, and Complexity
Stefan HaarStefan Haar, Tomáš MasopustTomáš Masopust
Stefan Haar, Tomáš Masopust
Languages, Decidability, and Complexity
In Seatzu, C., Silva, M., van Schuppen, J.H., eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 23-43. Springer, 2013
Languages, Decidability, and Complexity
In Seatzu, C., Silva, M., van Schuppen, J.H., eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 23-43. Springer, 2013
- KurzfassungAbstract
This chapter presents a brief introduction to the theory of automata, formal languages, decidability, and complexity. - Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@incollection{HM2013,
author = {Stefan Haar and Tom{\'{a}}{\v{s}} Masopust},
title = {Languages, Decidability, and Complexity},
editor = {Seatzu and C. and Silva and M. and van Schuppen and {J.H.}},
booktitle = {Control of Discrete-event Systems},
series = {Lecture Notes in Control and Information Sciences},
volume = {433},
publisher = {Springer},
year = {2013},
pages = {23-43},
doi = {10.1007/978-1-4471-4276-8_2}
}