Detail publikace

Nested Antichains for WS1S

FIEDOR, T.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Nested Antichains for WS1S. Acta Informatica, 2019, vol. 56, no. 3, p. 205-228. ISSN: 0001-5903.
Název česky
Zanořené protiřetězce pro WS1S
Typ
článek v časopise
Jazyk
anglicky
Autoři
Fiedor Tomáš, Ing., Ph.D. (VZ VERIFIT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

antichains WS1S finite automata subsumption

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
DOI
10.1007/s00236-018-0331-z
UT WoS
000461763400001
EID Scopus
2-s2.0-85059334544
BibTeX 
@article{BUT161577,
  author="Tomáš {Fiedor} and Lukáš {Holík} and Ondřej {Lengál} and Tomáš {Vojnar}",
  title="Nested Antichains for WS1S",
  journal="Acta Informatica",
  year="2019",
  volume="56",
  number="3",
  pages="205--228",
  doi="10.1007/s00236-018-0331-z",
  issn="0001-5903",
  url="https://www.fit.vut.cz/research/publication/11889/"
}
Nahoru