Detail publikace

Nested Antichains for WS1S

FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Nested Antichains for WS1S. Acta Informatica, roč. 56, č. 3, 2019, s. 205-228. ISSN 0001-5903.
Název česky
Zanořené protiřetězce pro WS1S
Typ
článek v časopise
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)
Abstrakt

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

Rok
2019
Strany
205-228
Časopis
Acta Informatica, roč. 56, č. 3, ISSN 0001-5903
Vydavatel
Springer Verlag
DOI
10.1007/s00236-018-0331-z
UT WoS
000461763400001
EID Scopus
2-s2.0-85059334544
BibTeX 
@ARTICLE{FITPUB11889,
   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 = "205--228",
   journal = "Acta Informatica",
   volume = 56,
   number = 3,
   year = 2019,
   ISSN = "0001-5903",
   doi = "10.1007/s00236-018-0331-z",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11889"
}
Nahoru