Papers - Okada, Mitsuhiro
-
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
-
A Weak Intuitionistic Propositional Logic with Purely Constructive Implication
Mitsuhiro Okada
Studia Logica 46 ( 4 ) 371 - 382 1987.12
Research paper (scientific journal), Single Work, Accepted
-
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
Research paper (scientific journal), Single Work, Accepted
-
論理記号導入規則による論理的意味論について
岡田 光弘
科学基礎論研究68、 日本科学基礎論学会 65-71 1987.06
Research paper (scientific journal), Single Work, Accepted
-
初期フッサールの「数理－哲学的研究の最終テーマ」とゲッチンゲン学派の論理哲学
岡田 光弘
哲学37 日本哲学会 210-221 1987.05
Research paper (scientific journal), Single Work, Accepted
-
Finite Combinatorics
Mitsuhiro Okada
Combinatorics (American Mathematical Society) 8 1987
Research paper (other academic)
-
On The Theory of Quasi-Ordinal Diagram
Mitsuhiro Okada and Gaisi Takeuti
Contemporary Mathematics (American Mathematical Society) 65 295 - 308 1987
Research paper (international conference proceedings)
-
形式的意味論と整合性証明
岡田 光弘
哲学(1986) 三田哲学会 1986.12
Research paper (scientific journal), Single Work