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. In: Proceedings of 27th International Conference on Automated Deduction (CADE-27). Natal: Springer Verlag, 2019, s. 300-318. ISSN 0302-9743.
Název česky
Automatové termy v líné rozhodovací proceduře pro WSkS
Typ
článek ve sborníku konference
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)
Abstrakt

Tato publikace zkoumá termy reprezentující částečně konstruované stromové automaty v rámci líné rozhodovací procedury pro WSkS.

Rok
2019
Strany
300-318
Časopis
Lecture Notes in Computer Science, roč. 11716, č. 11716, ISSN 0302-9743
Sborník
Proceedings of 27th International Conference on Automated Deduction (CADE-27)
Konference
The 27th International Conference on Automated Deduction, Natal, BR
Vydavatel
Springer Verlag
Místo
Natal, BR
DOI
10.1007/978-3-030-29436-6_18
UT WoS
000693450800018
EID Scopus
2-s2.0-85077011166
BibTeX 
@INPROCEEDINGS{FITPUB11973,
   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 = "300--318",
   booktitle = "Proceedings of 27th International Conference on Automated Deduction (CADE-27)",
   journal = "Lecture Notes in Computer Science",
   volume = 11716,
   number = 11716,
   year = 2019,
   location = "Natal, BR",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-030-29436-6\_18",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11973"
}
Nahoru