The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Masahiro Hamano: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Masahiro Hamano
    Softness of MALL proof-structures and a correctness criterion with Mix. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2004, v:43, n:6, pp:751-794 [Journal]
  2. Richard Blute, Masahiro Hamano, Philip J. Scott
    Softness of hypercoherences and MALL full completeness. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2005, v:131, n:1-3, pp:1-63 [Journal]
  3. Masahiro Hamano
    Z-modules and ful completeness of multiplicative linear logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:107, n:1-3, pp:165-191 [Journal]
  4. Masahiro Hamano, Philip J. Scott
    A categorical semantics for polarized MALL. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2007, v:145, n:3, pp:276-313 [Journal]
  5. Masahiro Hamano, Mitsuhiro Okada
    A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1997, v:43, n:, pp:103-120 [Journal]
  6. Masahiro Hamano
    Pontrjagin duality and full completeness for multiplicative linear logic (without Mix). [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:231-259 [Journal]

  7. An Indexed System for Multiplicative Additive Polarized Linear Logic. [Citation Graph (, )][DBLP]


  8. A direct independence proof of Buchholz's Hydra Game on finite labeled trees. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002