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