Symbolic Automata: Omega-Regularity Modulo Theories
autor
Veanes, Margus
Ball, Thomas
Ebner, Gabriel
Zhuchko, Ekaterina
vastutusandmed
Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko
allikas
Proceedings of the ACM on Programming Languages
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 9, POPL
ilmumisaasta
2025
leheküljed
art. 2, p. 33-66 : ill
leitav
https://doi.org/10.1145/3704838
märksõna
tuletised (matemaatika)
moodulid (matemaatika)
võtmesõna
regular expression
temporal logic
derivative
satisfiability modulo theories
automata
ISSN
2475-1421
märkused
Bibliogr.: 112 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/21101020042
https://www.scopus.com/pages/publications/85215705975?origin=resultslist
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024
https://www.webofscience.com/wos/woscc/full-record/WOS:001470367300019
kategooria (üld)
Engineering
Tehnika
Computer science
Arvutiteadus
kategooria (alam)
Engineering. Safety, risk, reliability and quality
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Computer science. Software
Arvutiteadus. Tarkvara
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise