Travelled to:1 × Canada
1 × Italy
1 × Spain
1 × USA
1 × United Kingdom
2 × The Netherlands
Collaborated with:J.Jouannaud N.Dershowitz ∅ Y.Gui G.Bana F.Blanqui G.Sivakumar
Talks about:algebra (3) rewrit (3) languag (2) husserl (2) theori (2) system (2) specif (2) higher (2) order (2) term (2)
Person: Mitsuhiro Okada
DBLP: Okada:Mitsuhiro
Contributed to:
201319991993
1991
1991
19881988
2016Wrote 8 papers:
- RTA-2013-Okada #multi #term rewriting
- Husserl and Hilbert on Completeness and Husserl’s Term Rewrite-based Theory of Multiplicity (MO), pp. 4–19.
- RTA-1999-BlanquiJO #algebra #calculus
- The Calculus of algebraic Constructions (FB, JPJ, MO), pp. 301–316.
- RTA-1993-GuiO #algebra #higher-order #named #specification
- LAMBDALG: Higher Order Algebraic Specification Language (YG, MO), pp. 462–466.
- ICALP-1991-JouannaudO #decidability #satisfiability
- Satisfiability of Systems of Ordinal Notations with the Subterm Property is Decidable (JPJ, MO), pp. 455–468.
- LICS-1991-JouannaudO #algebra #execution #higher-order #specification
- A Computation Model for Executable Higher-Order Algebraic Specification Languages (JPJ, MO), pp. 350–361.
- CADE-1988-DershowitzOS #canonical #term rewriting
- Canonical Conditional Rewrite Systems (ND, MO, GS), pp. 538–549.
- LICS-1988-DershowitzO #term rewriting
- Proof-Theoretic Techniques for Term Rewriting Theory (ND, MO), pp. 104–111.
- CSL-2016-BanaO #logic #semantics
- Semantics for “Enough-Certainty” and Fitting's Embedding of Classical Logic in S4 (GB, MO), p. 18.