The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ryo Takemura: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito
    Verification of Authentication Protocols Based on the Binding Relation. [Citation Graph (0, 0)][DBLP]
    ISSS, 2002, pp:299-316 [Conf]
  2. Mitsuhiro Okada, Ryo Takemura
    Remarks on Semantic Completeness for Proof-Terms with Laird's Dual Affine/Intuitionistic lambda -Calculus. [Citation Graph (0, 0)][DBLP]
    Rewriting, Computation and Proof, 2007, pp:167-181 [Conf]

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


  4. Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. [Citation Graph (, )][DBLP]


  5. The Efficacy of Euler and Venn Diagrams in Deductive Reasoning: Empirical Findings. [Citation Graph (, )][DBLP]


  6. Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution Style. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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