論文 - 岡田 光弘
-
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月
研究論文（学術雑誌）, 共著, 査読有り
-
Girard's Phase-Semantics and Higher Order Cut-Elimination Proof
Extended Abstracts of Montreal International Workshop on Programmin Language Theory 122-139 1991年06月
研究論文（国際会議プロシーディングス）, 単著, 査読有り
-
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月
研究論文（学術雑誌）, 共著, 査読有り
-
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年
研究論文（学術雑誌）
-
普遍記号学の夢と現実
岡田 光弘
三田哲学会編 哲学 第91巻 143-161 1990年12月
研究論文（学術雑誌）, 単著
-
A Rational for Conditional Equational Programming
Nachum Dershowitz and Mitsuhiro Okada
Theoretical Computer Science誌 91 111 - 138 1990年09月
研究論文（学術雑誌）, 単著, 査読有り
-
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月
研究論文（学術雑誌）, 単著, 査読有り
-
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月
研究論文（国際会議プロシーディングス）, 共著, 査読有り
-
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月
研究論文（国際会議プロシーディングス）, 共著, 査読有り
-
Temporal Object-Oriented Databases
M. Okada, Y. Quan
Proc. Advaced Daatabase System Symposium. Kyoto, Japan 1989年08月
研究論文（国際会議プロシーディングス）, 共著, 査読有り
-
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月
研究論文（国際会議プロシーディングス）, 共著
-
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月
研究論文（国際会議プロシーディングス）, 共著, 査読有り
-
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月
研究論文（国際会議プロシーディングス）, 共著, 査読有り
-
On a Theory of Weak Implications
Mitsuhiro Okada
Journal of Symbolic logic 53 200-211 1988年10月
研究論文（学術雑誌）, 単著, 査読有り
-
Prolog with Modality
Mitsuhiro Okada
Proc. European Workshop on Logical Methods in AI, Roscoff, France(パリ大学第６校出版） 1988年08月
研究論文（国際会議プロシーディングス）, 単著, 査読有り
-
Logical Analysis for Theory of Conditional Rewriting
N. Dershowitz, R.Sivakmar
Springer Lecture Notes in Computer Science 308（ドイツ Springer社） 179-196 1988年08月
研究論文（学術雑誌）, 共著, 査読有り
-
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月
研究論文（学術雑誌）, 共著, 査読有り
-
Confluence of Conditional Rewrite systems
N. Dershowitz, M. Okada and G. Sivakumar
Springer LNCS 308, ドイツ Springer社 1988年06月
研究論文（学術雑誌）, 共著, 査読有り
-
Proof-Theoretic Techniques for Term Rewriting Theory
N. Dershowitz and M. Okada
Logic in Computer Science vol.3 IEEE Press 104-111 1988年06月
研究論文（学術雑誌）, 共著, 査読有り
-
Notes on Proof of the Extended Kirby-Paris Theorem on Labeled Finite Trees
Mitsuhiro Okada
European Journal of Conbinatorics 9 （ 3 ） 249 - 253 1988年
研究論文（学術雑誌）, 単著, 査読有り