Analysis of information sources in references of the Wikipedia article "NL (complexité)" in French language version.
« Theorem 2.9 The nonemptiness problem for Büchi automata is logspace complete for NLOGSPACE. »
« Theorem 2.9 The nonemptiness problem for Büchi automata is logspace complete for NLOGSPACE. »
« Theorem 2.9 The nonemptiness problem for Büchi automata is logspace complete for NLOGSPACE. »