Search the dblp DataBase

Publications of Author

1. Misao Nagayama, Mitsuhiro Okada
   A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
   
2. Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini
   A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:43-57 [Journal]
   
3. Sachio Hirokawa, Yuichi Komori, Misao Nagayama
   A Lambda Proof of The P-W Theorem. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2000, v:65, n:4, pp:1841-1849 [Journal]
   
4. Misao Nagayama
   On Boolean Algebras and Integrally Closed Commutative Regular Rings. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1992, v:57, n:4, pp:1305-1318 [Journal]
   
5. Misao Nagayama, Mitsuhiro Okada
   A New Correctness Criterion for The Proof Nets of Non-Commutative Multiplicative Linear Logics. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:4, pp:1524-1542 [Journal]
   
6. Misao Nagayama
   On a property of BCK-identities. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 1994, v:53, n:2, pp:227-234 [Journal]
   
7. Misao Nagayama, Mitsuhiro Okada
   A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:294, n:3, pp:551-573 [Journal]