Detail publikace

Nested Antichains for WS1S

FIEDOR, T.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Nested Antichains for WS1S. In Proceedings of TACAS'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. p. 658-674. ISBN: 978-3-662-46680-3.
Název česky
Zanořené protiřetězce pro WS1S
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Fiedor Tomáš, Ing., Ph.D. (VZ VERIFIT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

antichains WS1S finite automata subsumption nondeterministic automata

Abstrakt

Tento článek představuje optimalizaci klasické rozhodovací procedury pro logiku WS1S založenou na technice použití protiřetězců.

Rok
2015
Strany
658–674
Sborník
Proceedings of TACAS'15
Řada
Lecture Notes in Computer Science
Svazek
9035
ISBN
978-3-662-46680-3
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-662-46681-0_59
EID Scopus
2-s2.0-84926684252
BibTeX 
@inproceedings{BUT119806,
  author="Tomáš {Fiedor} and Lukáš {Holík} and Ondřej {Lengál} and Tomáš {Vojnar}",
  title="Nested Antichains for WS1S",
  booktitle="Proceedings of TACAS'15",
  year="2015",
  series="Lecture Notes in Computer Science",
  volume="9035",
  pages="658--674",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-662-46681-0\{_}59",
  isbn="978-3-662-46680-3",
  url="http://dx.doi.org/10.1007/978-3-662-46681-0_59"
}
Nahoru