täiskirje prindi

Symbolic Automata: Omega-Regularity Modulo Theories

autor
vastutusandmed
Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
allikas
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 9, POPL
ilmumisaasta
leheküljed
art. 2, p. 33-66
leitav
ISSN
2475-1421
märkused
Bibliogr. p. 2:29-2:34
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
regular expression
temporal logic
derivative
satisfiability modulo theories
automata
Veanes, M., Ball, T., Ebner, G., Zhuchko, E. Symbolic Automata: Omega-Regularity Modulo Theories // Proceedings of the ACM on Programming Languages (2025) vol. 9, POPL, art. 2, p. 33-66. https://doi.org/10.1145/3704838