Misao Nagayama
According to our database1,
Misao Nagayama
authored at least 6 papers
between 1992 and 2004.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004
2001
A New Correctness Criterion for The Proof Nets of Non-Commutative Multiplicative Linear Logics.
J. Symb. Log., 2001
2000
1996
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic.
Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996
1994
1992
J. Symb. Log., 1992