Fakulta informačních technologií VUT v Brně

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. 295-311. 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
Abstrakt
Tato publikace zkoumá termy reprezentující částečně konstruované stromové automaty v rámci líné rozhodovací procedury pro WSkS.
Rok
2019 (v tisku)
Strany
295-311
Časopis
Lecture Notes in Computer Science, č. 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
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 = "295--311",
   booktitle = "Proceedings of 27th International Conference on Automated Deduction (CADE-27)",
   journal = "Lecture Notes in Computer Science",
   number = 11716,
   year = 2019,
   location = "Natal, BR",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11973"
}
Nahoru