Detail publikace
Automata Terms in a Lazy WSkS Decision Procedure
HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure. Journal of Automated Reasoning, roč. 65, č. 7, 2021, s. 971-999. ISSN 0168-7433.
Název česky
Automatové termy v líné rozhodovací proceduře pro WSkS
Typ
článek v časopise
Jazyk
angličtina
Autoři
Havlena Vojtěch, 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)
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 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
Vydavatel
Springer Verlag
DOI
UT WoS
000680802300001
EID Scopus
BibTeX
@ARTICLE{FITPUB12557, author = "Vojt\v{e}ch Havlena and Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Tom\'{a}\v{s} Vojnar", title = "Automata Terms in a Lazy WSkS Decision Procedure", pages = "971--999", journal = "Journal of Automated Reasoning", volume = 65, number = 7, year = 2021, ISSN = "0168-7433", doi = "10.1007/s10817-021-09597-w", language = "english", url = "https://www.fit.vut.cz/research/publication/12557" }