• 779 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.

Mathematics

Linear Logic
Cut-elimination
Completeness
Logic
Abstract Data Types
Rewriting
Proof Nets
Fragment
Calculus
Computer Science
Intuitionistic Logic
Type Systems
Multiplicative
Phase Space
Higher-order Logic
Typed lambda Calculus
Characterization Theorem
First-order Logic
Higher Order
First-order
Normalization
Theorem
Correctness
Confluence
Game
Schema
Formal Model
Security Protocols
Term
Strong Normalization
Graph in graph theory
Paradigm
Strictly positive
Semantics
Term Rewriting Systems
Pattern Matching
Classical Logic
Natural Deduction
Labeled Trees
Generalise
Finite Models
Cryptographic Protocols
Inference Rules
Knowledge Acquisition
Electronics
Diagram
Natural number
Arbitrary
Propositional Logic
Modal Logic

Engineering & Materials Science

Semantics
Abstract data types
Functional programming
Religious buildings
Network protocols
Pattern matching
Logic programming
Computer science
Specification languages
Cryptography
Drug interactions
Specifications
Knowledge acquisition
Bioinformatics
Linguistics
Design of experiments
LISP (programming language)
Artificial intelligence
Ontology
Random processes
Substitution reactions
Demonstrations
Probability distributions
Polynomials
Syntactics
Students