From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism. (English) Zbl 07875516
MSC:
68-XX
Found 14 Documents (Results 1–14)
The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames. (English) Zbl 1541.03082
Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 207-220 (2022).
MSC:
03B45
On the way to alternating weak automata. (English) Zbl 1528.68176
Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 21, 22 p. (2018).
MSC:
68Q45
Unambiguous languages exhaust the index hierarchy. (English) Zbl 1499.68195
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 140, 14 p. (2018).
MSC:
68Q45
On the strength of unambiguous tree automata. (English) Zbl 1403.68119
MSC:
68Q45
Index problems for game automata. (English) Zbl 1367.68167
MSC:
68Q45
Unambiguous Büchi is weak. (English) Zbl 1436.68181
Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 319-331 (2016).
MSC:
68Q45
On the separation question for tree languages. (English) Zbl 1319.68130
MSC:
68Q45
Rabin-Mostowski index problem: a step beyond deterministic automata. (English) Zbl 1366.68142
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 499-508 (2013).
Linear game automata: decidable hierarchy problems for stripped-down alternating tree automata. (English) Zbl 1257.03063
Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 225-239 (2009).
Domain \(\mu\)-calculus. (English) Zbl 1038.03038
Filter Results by …
Document Type
- Journal Articles (8)
- Collection Articles (6)
all
top 5
Author
- Skrzypczak, Michał (5)
- Facchini, Alessandro (3)
- Michalewski, Henryk (3)
- Murlak, Filip (3)
- Arnold, André (2)
- Lehtinen, Karoliina (2)
- Boker, Udi (1)
- Bradfield, Julian Charles (1)
- Casares, Antonio (1)
- Colcombet, Thomas (1)
- Duparc, Jacques (1)
- Fijalkow, Nathanaël (1)
- Lange, Martin (1)
- Niwiński, Damian (1)
- Pacheco, Leonardo (1)
- Tanaka, Kazuyuki (1)
- Zhang, Guo-Qiang (1)
all
top 5
Serial
- Theor. Inform. Appl. (3)
- Inf. Comput. (1)
- Int. J. Found. Comput. Sci. (1)
- Theory Comput. Syst. (1)
- ACM Trans. Comput. Log. (1)
- TheoretiCS (1)
