A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic (Extended Abstract)

Electronic Notes in Theoretical Computer Science

Volumn 3, Issue C, 1996, Pages 153-

  Nagayama, Misao ^a   Okada, Mitsuhiro ^b  

^a TOKYO WOMAN'S CHRISTIAN UNIVERSITY   (Japan)

^b KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; FORMAL LOGIC; THEOREM PROVING;

CYCLIC LINEAR LOGIC; DANOX-REGNIER GRAPH; MULTIPLICATIVE FRAGMENT OF COMMUTATIVE LINEAR LOGIC (MLL); PROOF NET;

GRAPH THEORY;

EID: 19144368445     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82518-6     Document Type: Article

References (0)