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
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
UT WoS
000461763400001
EID Scopus
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