1 paper
Santiago Flum, J. Andres Montoya
We prove that NL is strictly contained in P. We get this separation as a corollary of the following result: the set of context-free languages is not contained in NL. The reader sho…