論文 - 岡田 光弘
-
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年
研究論文（学術雑誌）, 単著, 査読有り
-
A Weak Intuitionistic Propositional Logic with Purely Constructive Implication
Mitsuhiro Okada
Studia Logica 46 （ 4 ） 371 - 382 1987年12月
研究論文（学術雑誌）, 単著, 査読有り
-
A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams
Mitsuhiro Okada
Journal of Symbolic Logic 52 577-581 1987年09月
研究論文（学術雑誌）, 単著, 査読有り
-
論理記号導入規則による論理的意味論について
岡田 光弘
科学基礎論研究68、 日本科学基礎論学会 65-71 1987年06月
研究論文（学術雑誌）, 単著, 査読有り
-
初期フッサールの「数理－哲学的研究の最終テーマ」とゲッチンゲン学派の論理哲学
岡田 光弘
哲学37 日本哲学会 210-221 1987年05月
研究論文（学術雑誌）, 単著, 査読有り
-
Finite Combinatorics
Mitsuhiro Okada
Combinatorics （American Mathematical Society） 8 1987年
研究論文（その他学術会議資料等）
-
On The Theory of Quasi-Ordinal Diagram
Mitsuhiro Okada and Gaisi Takeuti
Contemporary Mathematics （American Mathematical Society） 65 295 - 308 1987年
研究論文（国際会議プロシーディングス）
-
形式的意味論と整合性証明
岡田 光弘
哲学(1986) 三田哲学会 1986年12月
研究論文（学術雑誌）, 単著