Papers - Okada, Mitsuhiro

The Satisfaction Problem for Systems of Ordinal Notations with Subterm Property Is Decidable

J.-P. Jouannaud, M. Okada

ICALP91, LNCS510, ドイツSpringer社    455-468 1991.06

Research paper (scientific journal), Joint Work, Accepted

Girard's Phase-Semantics and Higher Order Cut-Elimination Proof

Extended Abstracts of Montreal International Workshop on Programmin Language Theory    122-139 1991.06

Research paper (international conference proceedings), Single Work, Accepted

Interrogative Sentences in Japanese, in Language

M. Okada, K. Watanabe

Information and Computation (Formal Grammer Theory Series 3), ed. Lee, Thaehakusa 社, Seoul    64-76 1991.03

Research paper (scientific journal), Joint Work, Accepted

Satisfiability of Systems of Ordinal Notations with The Subterm Property Is Decidable

Jean-Pierre Jouannaud and Mitsuhiro Okada

Lecture Notes in Computer Science    455 - 468 1991

Research paper (scientific journal)

普遍記号学の夢と現実

岡田 光弘

三田哲学会編　哲学　第91巻    143-161 1990.12

Research paper (scientific journal), Single Work

A Rational for Conditional Equational Programming

Nachum Dershowitz and Mitsuhiro Okada

Theoretical Computer Science誌 91    111 - 138 1990.09

Research paper (scientific journal), Single Work, Accepted

Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants

Mitsuhiro Okada

Annals of the Japan Association for Philosophy of Science 7    163-172 1989.10

Research paper (scientific journal), Single Work, Accepted

Ordering Strutures and the Knuth-Bendix Comletion Algorithm

M. Okada and A.Steel

Proc. 29th Allerton Conference on Communication, Control and Compuring Allerton, IL, Univ. of Illinois 出版局  1989.10

Research paper (international conference proceedings), Joint Work, Accepted

Strong Normalizability for the Combined System of The Typed Lambda Calculus and an Arbitrary Convergent Term Rewrite System

Mitsuhiro Okada

Proceedings of International Conference on Algebraic and and Symbolic Computation,ACM(Association Computer Machinery) Press    357 - 363 1989.08

Research paper (international conference proceedings), Joint Work, Accepted

Temporal Object-Oriented Databases

M. Okada, Y. Quan

Proc. Advaced Daatabase System Symposium. Kyoto, Japan  1989.08

Research paper (international conference proceedings), Joint Work, Accepted

Practical Applications of Conditional term Rewriting Theory

P. Grogono, M. Okada

Proceedings of XV Latin American Conference on Informatics　/ IX Conference of Chilean Computer Society    525-540 1989.08

Research paper (international conference proceedings), Joint Work

Applications and Results of Term Rewriting Theory

P. Grogono and Mitsuhiro Okada

Proceedings of International Conference on Symbolic and Logical Computing, North Dakota  1989.06

Research paper (international conference proceedings), Joint Work, Accepted

Conditional Equational Programing and Theory of Conditional Term Rewriting

N. Dershowitz and M. Okada

Proc. Of Fifth Generarion Computer Systems, Tokyo, ICOT    337-346 1988.12

Research paper (international conference proceedings), Joint Work, Accepted

On a Theory of Weak Implications

Mitsuhiro Okada

Journal of Symbolic logic 53    200-211 1988.10

Research paper (scientific journal), Single Work, Accepted

Prolog with Modality

Mitsuhiro Okada

Proc. European Workshop on Logical Methods in AI, Roscoff, France(パリ大学第６校出版）  1988.08

Research paper (international conference proceedings), Single Work, Accepted

Logical Analysis for Theory of Conditional Rewriting

N. Dershowitz, R.Sivakmar

Springer Lecture Notes in Computer Science 308（ドイツ　Springer社）    179-196 1988.08

Research paper (scientific journal), Joint Work, Accepted

Canonical Conditional Rewrite Systems

N. Dershowitz, R.Sivakmar

9th Coｎference on Automated Deduction, Lecture Notes in Computer Science 310（ドイツ　Springer社）    538-549 1988.07

Research paper (scientific journal), Joint Work, Accepted

Confluence of Conditional Rewrite systems

N. Dershowitz, M. Okada and G. Sivakumar

Springer　LNCS 308, ドイツ　Springer社  1988.06

Research paper (scientific journal), Joint Work, Accepted

Proof-Theoretic Techniques for Term Rewriting Theory

N. Dershowitz and M. Okada

Logic in Computer Science vol.3 IEEE Press    104-111 1988.06

Research paper (scientific journal), Joint Work, Accepted

Notes on Proof of the Extended Kirby-Paris Theorem on Labeled Finite Trees

Mitsuhiro Okada

European Journal of Conbinatorics 9 ( 3 ) 249 - 253 1988

Research paper (scientific journal), Single Work, Accepted