Detail publikace

Automata Terms in a Lazy WSkS Decision Procedure

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Automata Terms in a Lazy WSkS Decision Procedure. JOURNAL OF AUTOMATED REASONING, 2021, vol. 65, no. 7, p. 971-999. ISSN: 0168-7433.
Název česky
Automatové termy v líné rozhodovací proceduře pro WSkS
Typ
článek v časopise
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
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

WSkS,Tree automata,Automata term,Finite automata,Monadic second-order logic

Abstrakt

Tento článek zavádí línou rozhodovací proceduru pro logiku WSkS založenou na práci s automatovými termy.

Rok
2021
Strany
971–999
Časopis
JOURNAL OF AUTOMATED REASONING, roč. 65, č. 7, ISSN 0168-7433
DOI
10.1007/s10817-021-09597-w
UT WoS
000680802300001
EID Scopus
2-s2.0-85111817441
BibTeX 
@article{BUT175811,
  author="Vojtěch {Havlena} and Lukáš {Holík} and Ondřej {Lengál} and Tomáš {Vojnar}",
  title="Automata Terms in a Lazy WSkS Decision Procedure",
  journal="JOURNAL OF AUTOMATED REASONING",
  year="2021",
  volume="65",
  number="7",
  pages="971--999",
  doi="10.1007/s10817-021-09597-w",
  issn="0168-7433",
  url="https://www.fit.vut.cz/research/publication/12557/"
}
Nahoru