Incollection3002: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Markus Krötzsch (Diskussion | Beiträge) K (Textersetzung - „|Forschungsgruppe=Knowledge Systems“ durch „|Forschungsgruppe=Wissensbasierte Systeme“) |
Tomas Masopust (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 11: | Zeile 11: | ||
|Pages=23-43 | |Pages=23-43 | ||
|Publisher=Springer | |Publisher=Springer | ||
|Editor=Seatzu, C. | |Editor=Seatzu, C. and Silva, M. and van Schuppen, J.H. | ||
|Series=Lecture Notes in Control and Information Sciences | |Series=Lecture Notes in Control and Information Sciences | ||
|Volume=433 | |Volume=433 |
Version vom 26. September 2016, 11:36 Uhr
Languages, Decidability, and Complexity
Stefan HaarStefan Haar, Tomáš MasopustTomáš Masopust
Stefan Haar, Tomáš Masopust
Languages, Decidability, and Complexity
In Seatzu, C. and Silva, M. and 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. and Silva, M. and 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}
}