Aktuelle Version vom 26. September 2016, 13:07 Uhr

Languages, Decidability, and Complexity

Stefan HaarStefan Haar, Tomáš MasopustTomáš Masopust

ISBN: 978-1-4471-4275-1
ISSN: 0170-8643
DOI Link

Stefan Haar, Tomáš Masopust
Languages, Decidability, and Complexity
In C. Seatzu and M. Silva and J.H. van Schuppen, eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 23-43. Springer, 2013

Details
Bibtex

KurzfassungAbstract
This chapter presents a brief introduction to the theory of automata, formal languages, decidability, and complexity.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-1-4471-4276-8_2.

@incollection{HM2013,
  author    = {Stefan Haar and Tom{\'{a}}{\v{s}} Masopust},
  title     = {Languages, Decidability, and Complexity},
  editor    = {C. Seatzu and M. Silva and {J.H.} van Schuppen},
  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}
}

@@ Zeile 2: / Zeile 2: @@
 |ErsterAutorVorname=Stefan
 |ErsterAutorNachname=Haar
-|FurtherAuthors=Masopust Tomáš;
+|FurtherAuthors=Tomáš Masopust;
 }}
 {{Incollection
@@ Zeile 11: / Zeile 11: @@
 |Pages=23-43
 |Publisher=Springer
-|Editor=Seatzu, C., Silva, M., van Schuppen, J.H.
+|Editor=C. Seatzu and M. Silva and J.H. van Schuppen
 |Series=Lecture Notes in Control and Information Sciences
 |Volume=433
@@ Zeile 17: / Zeile 17: @@
 {{Publikation Details
 |Abstract=This chapter presents a brief introduction to the theory of automata, formal languages, decidability, and complexity.
 |ISBN=978-1-4471-4275-1
 |ISSN=0170-8643
 |DOI Name=10.1007/978-1-4471-4276-8_2
-|Forschungsgruppe=Knowledge Systems
+|Forschungsgruppe=Wissensbasierte Systeme
 }}

Incollection3002: Unterschied zwischen den Versionen

Aktuelle Version vom 26. September 2016, 13:07 Uhr

Languages, Decidability, and Complexity

Stefan HaarStefan Haar, Tomáš MasopustTomáš Masopust