Concepedia

Mitsuhiro Okada

MO

Statistics

Publications

9

Citations

440

H-Index

9

Active since

1989

Affiliations

Concordia University(Current)

Keio University

Mitsuhiro Okada is an author at Concordia University specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationMathematical FoundationsVerificationMathematical ProgrammingCognitionCompilers

Publications per year

1989–2023

9

Publications

9

A computation model for executable higher-order algebraic specification languages

Jean-Pierre Jouannaud, Mitsuhiro Okada · 2002 · 101 citations

Engineering, Software Analysis, Formal Verification +20

A rationale for conditional equational programming

Nachum Dershowitz, Mitsuhiro Okada · Theoretical Computer Science · 1990 · 89 citations

Mathematical Programming, Engineering, Automated Reasoning +5

The finite model property for various fragments of intuitionistic linear logic

Mitsuhiro Okada, Kazushige Terui · Journal of Symbolic Logic · 1999 · 88 citations

Intuitionistic Logic, Non-classical Logic, Fuzzy Logic +14

Strong normalizability for the combined system of the typed lmbda calculus and an arbitrary convergent term rewrite system

Mitsuhiro Okada · 1989 · 46 citations

Engineering, Typed Lmbda Calculus, Automated Reasoning +13

Proof-theoretic techniques for term rewriting theory

Nachum Dershowitz, Mitsuhiro Okada · 2003 · 42 citations

Proof-theoretic Techniques, Engineering, Automated Reasoning +12

Rows per page

1–5 of 9