Incollection3002

PublikationenPublications

• Nach AutorBy Author
  • Tomáš MasopustTomáš Masopust
• Nach ForschungsgruppeBy Research Group
  • Knowledge SystemsKnowledge-Based Systems

Toggle side column

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 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

• Details
• Bibtex

• KurzfassungAbstract
  This chapter presents a brief introduction to the theory of automata, formal languages, decidability, and complexity.
• Forschungsgruppe:Research Group: Knowledge SystemsKnowledge-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    = {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}
}