Items where Author is "Zhuchko, Ekaterina"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Veanes, Margus and Ball, Thomas and Ebner, Gabriel and Zhuchko, Ekaterina (2025) Symbolic Automata : Omega-Regularity Modulo Theories. Proceedings of the ACM on Programming Languages, 9: 2. pp. 33-66. ISSN 2475-1421