Extensions of ω-Regular Languages

DOI10.1145/3373718.3394779zbMath1498.03022arXiv2002.09393OpenAlexW3013591603MaRDI QIDQ5145637

Rafał Stefański, Edon Kelmendi, Mikołaj Bojańczyk, Georg Zetzsche

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2002.09393

zbMATH Keywords

congruencesMSO+Uextensions of MSOextensions of omega-regular languagesfull-trios

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25) Higher-order logic (03B16)

This page was built for publication: Extensions of ω-Regular Languages