P-time Completeness of Light Linear Logic and its Nondeterministic Extension

Cite this paper

@article{Matsuoka2004PtimeCO, title={P-time Completeness of Light Linear Logic and its Nondeterministic Extension}, author={Satoshi Matsuoka}, journal={CoRR}, year={2004}, volume={cs.LO/0410034} }