Článek ve sborníku konference

FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Nested Antichains for WS1S. In: Proceedings of TACAS'15. 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
Jazyk publikace:angličtina
Název publikace:Nested Antichains for WS1S
Název (cs):Zanořené protiřetězce pro WS1S
Strany:658-674
Sborník:Proceedings of TACAS'15
Konference:European Joint Conferences on Theory and Practice of Software -- ETAPS'15 (TACAS'15)
Řada knih:LNCS 9035
Místo vydání:Heidelberg, DE
Rok:2015
URL:http://dx.doi.org/10.1007/978-3-662-46681-0_59
ISBN:978-3-662-46680-3
DOI:10.1007/978-3-662-46681-0_59
Vydavatel:Springer Verlag
Klíčová slova
antichains
WS1S
finite automata
subsumption
nondeterministic automata
Anotace
Tento článek představuje optimalizaci klasické rozhodovací procedury pro logiku WS1S založenou na technice použití protiřetězců.
BibTeX:
@INPROCEEDINGS{
   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 = {LNCS 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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=10790}
}

Vaše IPv4 adresa: 34.239.173.11
Přepnout na https