Ryo Takemura

	2008
4		Masahiro Hamano, Ryo Takemura: An Indexed System for Multiplicative Additive Polarized Linear Logic. CSL 2008: 262-277
3		Koji Mineshima, Mitsuhiro Okada, Yuri Sato, Ryo Takemura: Diagrammatic Reasoning System with Euler Circles: Theory and Experiment Design. Diagrams 2008: 188-205
	2007
2		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		Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito: Verification of Authentication Protocols Based on the Binding Relation. ISSS 2002: 299-316

Coauthor Index

1	Masami Hagiya	[1]
2	Masahiro Hamano	[4]
3	Koji Mineshima	[3]
4	Mitsuhiro Okada	[2] [3]
5	Takamichi Saito	[1]
6	Yuri Sato	[3]
7	Koichi Takahashi	[1]

Colors in the list of coauthors