Login / Signup

Correctness of linear logic proof structures is NL-complete.

Paulin Jacobé de NauroisVirgile Mogbil
Published in: Theor. Comput. Sci. (2011)
Keyphrases