Computing the Rabin Index of a Parity Automaton-Reference-Cited by-同舟云学术

Computing the Rabin Index of a Parity Automaton

Published:1999-11 Issue:6 Volume:33 Page:495-505
ISSN:0988-3754
Container-title:RAIRO - Theoretical Informatics and Applications
language:
Short-container-title:RAIRO-Theor. Inf. Appl.

Author:

Carton Olivier,Maceiras Ramón

Publisher

EDP Sciences

Subject

Computer Science Applications,General Mathematics,Software

Link

http://www.rairo-ita.org/10.1051/ita:1999129/pdf

Reference15 articles.

1. J.R. Büchi, On a decision method in the restricted second-order arithmetic, inProc. Int. Congress Logic, Methodology and Philosophy of science, Berkeley 1960, Stanford University Press (1962) 1-11.

2. Chain automata

3. E.A. Emerson and C.S. Jutla, Tree automata, Mu-calculus and determinacy, inProc. 32th Symp. on Foundations of Computer Science(1991) 368-377.

4. Structural complexity of ω-automata

5. Testing and generating infinite sequences by a finite automaton

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Positional ω-regular languages;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words;Fundamenta Informaticae;2023-07-07

3. From Spot 2.0 to Spot 2.10: What’s New?;Computer Aided Verification;2022

4. Practical Applications of the Alternating Cycle Decomposition;Tools and Algorithms for the Construction and Analysis of Systems;2022

5. Practical “Paritizing” of Emerson-Lei Automata;Automated Technology for Verification and Analysis;2020