Detail publikace

Lazy Automata Techniques for WS1S

FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T. Lazy Automata Techniques for WS1S. In Proceedings of TACAS'17. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 407-425. ISBN: 978-3-662-54576-8. ISSN: 0302-9743.
Název česky
Líné Automatové Techniky 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)
Janků Petr, Ing. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

WS1S finite automata logic antichains lazy evaluation subsumption monadic second-order logic

Abstrakt

Tento článek představuje optimalizaci klasické rozhodovací procedury pro logiku WS1S založenou na líných technikách.

Rok
2017
Strany
407–425
Časopis
Lecture Notes in Computer Science, roč. 10205, č. 1, ISSN 0302-9743
Sborník
Proceedings of TACAS'17
Řada
Lecture Notes in Computer Science
ISBN
978-3-662-54576-8
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-662-54577-5_24
UT WoS
000440734900024
EID Scopus
2-s2.0-85017504762
BibTeX 
@inproceedings{BUT134716,
  author="Tomáš {Fiedor} and Lukáš {Holík} and Petr {Janků} and Ondřej {Lengál} and Tomáš {Vojnar}",
  title="Lazy Automata Techniques for WS1S",
  booktitle="Proceedings of TACAS'17",
  year="2017",
  series="Lecture Notes in Computer Science",
  journal="Lecture Notes in Computer Science",
  volume="10205",
  number="1",
  pages="407--425",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-662-54577-5\{_}24",
  isbn="978-3-662-54576-8",
  issn="0302-9743",
  url="https://www.fit.vut.cz/research/publication/11323/"
}
Nahoru