Mitsuhiro Okada - Böcker

Logic, Language, and Security

Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Waves and Tidal Flat Ecosystems

Software Security -- Theories and Systems

Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Conditional and Typed Rewriting Systems

2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

Formal to Practical Security

Papers Issued from the 2005-2008 French-Japanese Collaboration

Advances in Mathematical Logic

Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions