• 775 Citations
  • 16 h-Index
1987 …2019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Mitsuhiro Okada is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 0 Similar Profiles
Linear Logic Mathematics
Semantics Engineering & Materials Science
Abstract data types Engineering & Materials Science
Cut-elimination Mathematics
Completeness Mathematics
Logic Mathematics
Abstract Data Types Mathematics
Rewriting Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1987 2019

  • 775 Citations
  • 16 h-Index
  • 41 Article
  • 20 Conference contribution
  • 2 Chapter
  • 1 Conference article

On quasi ordinal diagram systems

Okada, M. & Takahashi, Y., 2019 Jan 1, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 288, p. 38-49 12 p.

Research output: Contribution to journalConference article

Open Access
Pattern matching
1 Citation (Scopus)

Corrigendum to “Inductive-data-type systems” [Theoret. Comput. Sci. 272 (1–2) (2002) 41–68]

Blanqui, F., Jouannaud, J. P. & Okada, M., 2018 Jan 1, (Accepted/In press) In : Theoretical Computer Science.

Research output: Contribution to journalArticle

Abstract data types
Type Systems
Abstract Data Types
Strictly positive
Schema
1 Citation (Scopus)

Qualitatively coherent representation makes decision-making easier with binary-colored multi-attribute tables: An eye-tracking study

Morii, M., Ideno, T., Takemura, K. & Okada, M., 2017 Aug 17, In : Frontiers in Psychology. 8, AUG, 1388.

Research output: Contribution to journalArticle

Decision Making
Eye Movements
Color
hydroquinone

Semantics for "enough-certainty" and fitting's embedding of classical logic in S4

Bana, G. & Okada, M., 2016 Aug 1, Computer Science Logic 2016, CSL 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 62.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Security of data
Network protocols
1 Citation (Scopus)

Syntactic reduction in Husserl’s early phenomenology of arithmetic

Hartimo, M. & Okada, M., 2016 Mar 1, In : Synthese. 193, 3, p. 937-969 33 p.

Research output: Contribution to journalArticle

phenomenology
mathematics
computer science
guarantee
Phenomenology