Detail publikace

Nested Antichains for WS1S

FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Nested Antichains for WS1S. In: Proceedings of TACAS'15. Lecture Notes in Computer Science, roč. 9035. Heidelberg: Springer Verlag, 2015, s. 658-674. ISBN 978-3-662-46680-3. Dostupné z: http://dx.doi.org/10.1007/978-3-662-46681-0_59
Název česky
Zanořené protiřetězce pro WS1S
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Fiedor Tomáš, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'15 (TACAS'15), London, GB
ISBN
978-3-662-46680-3
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
10.1007/978-3-662-46681-0_59
EID Scopus
2-s2.0-84926684252
BibTeX 
@INPROCEEDINGS{FITPUB10790,
   author = "Tom\'{a}\v{s} Fiedor and Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Tom\'{a}\v{s} Vojnar",
   title = "Nested Antichains for WS1S",
   pages = "658--674",
   booktitle = "Proceedings of TACAS'15",
   series = "Lecture Notes in Computer Science",
   volume = 9035,
   year = 2015,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-662-46680-3",
   doi = "10.1007/978-3-662-46681-0\_59",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10790"
}
Nahoru