Books - Okada, Mitsuhiro
-
A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. In Software Security - Theories and Systems (eds. by Mitsuhiro Okada et al.)
Mitsuhiro Okada, Koji Hasebe, Springer, 2003.02
Scope: 357-367
-
Ideal Concepts, Intuitions, and Mathematical Knowlegdge Acquisitions in Husserl and Hilbert (A Preliminary Report). In Progress in Discovery Science, Final Report of the Japanese Discovery Science Project (eds. by Setsuo Arikawa and Ayumi Shinohara)
Mitsuhiro Okada, Springer, 2002.01
Scope: 40-77
-
法律知識の論理による表現. In 法律人工知能 (吉野 一, 他 編)
岡田 光弘, 創成社出版, 2000.02
Scope: 169-181
-
Theories of Types and Proofs, volume 2 of Memoirs of Mathematical Society of Japan.
(eds. by Masako Takahashi, Mitsuhiro Okada, and Mariangiola Dezani-Ciancaglini), Mathematical Society of Japan, 1998
-
An Introduction to Linear Logic: Expressiveness and Phase Semantics. In Theories of Types and Proofs (eds. by Masako Takahashi, Mitsuhiro Okada, and Mariangiola Dezani-Ciancaglini)
Mitsuhiro Okada, Mathematical Society of Japan, 1998
Scope: 255-295
-
JSSS Tutorial Lectures Notesシリーズ 日本ソフトウェア科学会
1993.06
-
Thaehaksa Publishing（Seonl)
S-J. Chang, J. Choe,K. Lee, S-H. Ahn, A. Ikeya, M. Okada, K. Watanabe, M. Kawamori, C.D. Lee, Y. Nitta, C. Huang, M. Ishizuki, A. Ishikawa, Y. Abe, B. Park, M. Isoda, S. Kubo, K. Kim, M. Lee, B. Kang, 1993.03
Scope: 64-76,145-157
-
Conditional and Typed Rewriting Systems
Stephane Kaplan and Mitsuhiro Okada, Springer, 1991
-
On the theory of quasi-ordinal diagrams, In Logic and Combinatorics (ed. by Stephen G. Simpson)
Mitsuhiro Okada and Gaisi Takeuti, Contemporary Mathematics, American Mathematical Society, 1987.08