Büchi automaton (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Büchi automaton" in English language version.

refsWebsite

Global rank English rank

2^nd place

11^th place

8^th place

69^th place

59^th place

arxiv.org

Schewe, Sven (2010). "Minimisation of Deterministic Parity and Büchi Automata and Relative Minimisation of Deterministic Finite Automata". arXiv:1007.1333 [cs.FL].

Büchi, J.R. (1962). "On a Decision Method in Restricted Second Order Arithmetic". The Collected Works of J. Richard Büchi. Stanford: Stanford University Press. pp. 425–435. doi:10.1007/978-1-4613-8928-6_23. ISBN 978-1-4613-8930-9. {{cite book}}: |journal= ignored (help)
Safra, S. (1988), "On the complexity of ω-automata", Proceedings of the 29th Annual Symposium on Foundations of Computer Science (FOCS '88), Washington DC, US: IEEE Computer Society, pp. 319–327, doi:10.1109/SFCS.1988.21948, ISBN 0-8186-0877-3, S2CID 206559211.

Safra, S. (1988), "On the complexity of ω-automata", Proceedings of the 29th Annual Symposium on Foundations of Computer Science (FOCS '88), Washington DC, US: IEEE Computer Society, pp. 319–327, doi:10.1109/SFCS.1988.21948, ISBN 0-8186-0877-3, S2CID 206559211.