Mitsu Okada

Mitsu Okada

Keio University - Tokyo / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 5106929
慶應義塾大学
person_outline Mitsu Okada's MOST POPULAR ARTICLES
1-) A proof-theoretic study of the correspondence of classical logic and modal logicH Kushida, M OkadaThe Journal of Symbolic Logic 68 (4), 1403-1414, 2003192003
2-) A proof–theoretic study of the correspondence of hybrid logic and classical logicH Kushida, M OkadaJournal of Logic, Language and Information 16, 35-61, 200752007
3-) Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues: 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected PapersM Okada, I SatohSpringer, 200822008
4-) Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issuesM Okada, I SatohSpringer-Verlag, 20062006