A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic

Misao Nagayama, Mitsuhiro Okada. A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic. Electronic Notes in Theoretical Computer Science, 3:153, 1996. [doi]

Abstract

Abstract is missing.