# 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.

- Sort by
- Weight
- Alphabetically

### 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