Automata for MSO over Infinite Trees with Quantification over Borel Sets of Branches
| Author: | Mikolaj Bojanczyk, Antonio Casares, Sven Manthe, Pawel Parys |
|---|---|
| URL: | https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.21 |
| DOI: | https://doi.org/10.4230/LIPIcs.LICS.2026.21 |
| ISSN: | 1868-8969 |
| Parent Title (English): | 41st Annual Symposium on Logic in Computer Science (LICS 2026) |
| Journal: | Leibniz International Proceedings in Informatics |
| Publisher: | Schloss Dagstuhl |
| Document Type: | Research Article |
| Language: | English |
| Year of first Publication: | 2026 |
| Release Date: | 2026/09/02 |
| Volume: | 380 |
| Article Number: | 21 |
| Page Number: | 24 |
| First Page: | 21:1 |
| Last Page: | 21:24 |
| Faculties / Organisational entities: | RPTU in Kaiserslautern / Fachbereich Informatik / AG Automated Reasoning |
| Open access state: | Gold Open-Access |
| RPTU: | Kaiserslautern |
| Research funding: | DFG |
| Sonstige | |
| Created at the RPTU: | Yes |