%0 Journal Article %1 journals/tcs/NauroisM11 %A de Naurois, Paulin Jacobé %A Mogbil, Virgile %D 2011 %J Theor. Comput. Sci. %K dblp %N 20 %P 1941-1957 %T Correctness of linear logic proof structures is NL-complete. %U http://dblp.uni-trier.de/db/journals/tcs/tcs412.html#NauroisM11 %V 412

@article{journals/tcs/NauroisM11, added-at = {2021-02-17T00:00:00.000+0100}, author = {de Naurois, Paulin Jacobé and Mogbil, Virgile}, biburl = {https://www.bibsonomy.org/bibtex/2c63b64c893c7536e137c64b80ecee70a/dblp}, ee = {https://doi.org/10.1016/j.tcs.2010.12.020}, interhash = {53b2a67c5f7db66249f788f3b78941dd}, intrahash = {c63b64c893c7536e137c64b80ecee70a}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 20, pages = {1941-1957}, timestamp = {2024-04-08T18:44:12.000+0200}, title = {Correctness of linear logic proof structures is NL-complete.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs412.html#NauroisM11}, volume = 412, year = 2011 }