Languages, Decidability, and Complexity

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

C 2013

Languages, Decidability, and Complexity

HAAR, Stefan a Tomáš MASOPUST

Základní údaje

Originální název

Languages, Decidability, and Complexity

Autoři

HAAR, Stefan a Tomáš MASOPUST

Vydání

Berlin, Control of Discrete-event Systems, od s. 23-43, LNCIS 433, 2013

Nakladatel

Springer

Další údaje

Typ výsledku

Kapitola resp. kapitoly v odborné knize

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Označené pro přenos do RIV

ISBN

978-1-4471-4275-1

DOI

https://doi.org/10.1007/978-1-4471-4276-8

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 24. 8. 2012 18:03, doc. RNDr. Tomáš Masopust, Ph.D., DSc.

HAAR, Stefan a Tomáš MASOPUST. Languages, Decidability, and Complexity. In Control of Discrete-event Systems. Berlin: Springer, 2013, s. 23-43. LNCIS 433. ISBN 978-1-4471-4275-1. Dostupné z: https://doi.org/10.1007/978-1-4471-4276-8.

@inbook{986795,
   author = {Haar, Stefan and Masopust, Tomáš},
   address = {Berlin},
   booktitle = {Control of Discrete-event Systems},
   doi = {https://doi.org/10.1007/978-1-4471-4276-8},
   location = {Berlin},
   isbn = {978-1-4471-4275-1},
   pages = {23-43},
   publisher = {Springer},
   title = {Languages, Decidability, and Complexity},
   url = {http://www.springer.com/engineering/control/book/978-1-4471-4275-1},
   year = {2013}
}

TY  - CHAP
ID  - 986795
AU  - Haar, Stefan - Masopust, Tomáš
PY  - 2013
TI  - Languages, Decidability, and Complexity
VL  - LNCIS 433
PB  - Springer
CY  - Berlin
SN  - 9781447142751
UR  - http://www.springer.com/engineering/control/book/978-1-4471-4275-1
ER  -

HAAR, Stefan a Tomáš MASOPUST. Languages, Decidability, and Complexity. In \textit{Control of Discrete-event Systems}. Berlin: Springer, 2013, s.~23-43. LNCIS 433. ISBN~978-1-4471-4275-1. Dostupné z: https://doi.org/10.1007/978-1-4471-4276-8.