The aim of this chapter is to show a non-elementary lower bound for the complexity of translating logic to finite automata.
CITATION STYLE
Reinhardt, K. (2002). The Complexity of Translating Logic to Finite Automata (pp. 231–238). https://doi.org/10.1007/3-540-36387-4_13
Mendeley helps you to discover research relevant for your work.