Misao Nagayama, Mitsuhiro Okada. A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. Theoretical Computer Science, 294(3):551-573, 2003.
No references recorded for this publication.
No citations of this publication recorded.