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. In Proceedings of 27th International Conference on Automated Deduction (CADE-27). Lecture Notes in Computer Science. Natal: Springer Verlag, 2019. p. 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
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, weak second-order logic, tree automata, lazy evaluation

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)
Vydavatel
Springer Verlag
Místo
Natal
DOI
10.1007/978-3-030-29436-6_18
UT WoS
000693450800018
EID Scopus
2-s2.0-85077011166
BibTeX 
@inproceedings{BUT159972,
  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",
  booktitle="Proceedings of 27th International Conference on Automated Deduction (CADE-27)",
  year="2019",
  journal="Lecture Notes in Computer Science",
  volume="11716",
  number="11716",
  pages="300--318",
  publisher="Springer Verlag",
  address="Natal",
  doi="10.1007/978-3-030-29436-6\{_}18",
  issn="0302-9743",
  url="https://www.fit.vut.cz/research/publication/11973/"
}
Nahoru