Papers - Okada, Mitsuhiro

教育と社会

岡田光弘

三色旗　慶應義塾大学通信教育部  1993.05

Single Work

Denotational Semantical Analysis on Japanese Case Particles

M. Okada, K. Watanabe

Information and Computation（Formal　GrammerTheory Series3), ed. Lee. Thaehakusa社, Seoul    145-157 1993.03

Research paper (scientific journal), Joint Work, Accepted

Rewriting Theory for the Uniqueness Condition of Higher Types

M. Okada, P.J. Scott

Proc. Of the　Montreal Workshop on Programing Language Theory 1991年春季大会（但し、実際の報告集出版は、1992年1月）, Logic and Formal Methods Series 2, Conordia 大学出版局    20-28 1991.12

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

System description of LAMBDALG

Yexuan Gui and Mitsuhiro Okada

Proc. Of Logic Programming and Automated Reasoning, Springer Lecture Notes in Artificial Intelligence 698（ドイツ Springer社）    354 - 356 1991.08

Research paper (scientific journal), Joint Work, Accepted

A Computation Model for Executable Higher-Order Algebraic Specification Languages

J.-P. Jouannaud, M. Okada

Logic in　Computer Science vol. 6, IEEE Press, USA    350 - 361 1991.06

Research paper (scientific journal), Joint Work, Accepted

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