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
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"
}
Nahoru