論文
岡田 光弘
121~139件（全139件）
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月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Finite Combinatorics
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名Combinatorics 出版社American Mathematical Society (出版年（月日）1987年）
- 掲載種別
- 研究論文（その他学術会議資料等）
On The Theory of Quasi-Ordinal Diagram
- 著者名
- Mitsuhiro Okada and Gaisi Takeuti
- 掲載誌名
- 誌名Contemporary Mathematics 出版社American Mathematical Society 開始ページ295 - 終了ページ308 (出版年（月日）1987年）
- 掲載種別
- 研究論文（国際会議プロシーディングス）
A Weak Intuitionistic Propositional Logic with Purely Constructive Implication
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名Studia Logica 巻46(号4) 開始ページ371 - 終了ページ382 (出版年（月日）1987年12月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
A Note on Rewriting Theory for Uniqueness of Itaration
- 著者名
- M. Okada, P-J. Scott
- 掲載誌名
- 誌名Theory and Applications of Categories Vol.6, No.4 巻Vol.6(号No.4) 開始ページ47-64 (出版年（月日）1999年12月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Phase Semantic Cut-Elimination and Normalization Proofs of First- and Higher-Order Linear Logic
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名Theoretical Computer Science (欧州理論情報学会誌) 巻227(号1--2) 開始ページ333 - 終了ページ396 (出版年（月日）1999年09月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
The Calculus of Algebraic Constructions. In Rewriting Techniques and Applications (eds. by Paliath Narendran and Michaël Rusinowitch)
- 著者名
- Mitsuhiro Okada
- 掲載誌名
- 誌名Rewriting Techniques and Applications, 10th International Conference, RTA-99 Trento, Italy, July 2--4, 1999 Proceedings, volume 1631 of Lecture Notes in Computer Science 開始ページ301 - 終了ページ316 (出版年（月日）1999年06月）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic
- 著者名
- M. Okada, K. Terui
- 掲載誌名
- 誌名Journal of Symbolic Logic 開始ページ790 - 終了ページ802 (出版年（月日）1999年03月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Completeness Proofs for Linear Logic Based on the Proof Search Method (Preliminary Report). In RIMS Kokyuroku 1023: Type Theory and Its Applications to Computer Systems (ed. by J. Garrigue)
- 著者名
- Mitsuhiro Okada and Kazushige Terui.
- 掲載誌名
- 誌名RIMS Kokyuroku 1023: Type Theory and Its Applications to Computer Systems 出版社Research Institute for Mathematical Sciences, Kyoto University. 開始ページ57 - 終了ページ75 (出版年（月日）1998年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（その他学術会議資料等）
A Direct Independence Proof of Buchholz's Hydra Game on Finite Labeled Trees.
- 著者名
- M. Hamano and M. Okada
- 掲載誌名
- 誌名Archive for Mathematical Logic 巻37(号2) 開始ページ67 - 終了ページ89 (出版年（月日）1998年）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Specifying Real-Time Finite State Systems by Linear Logic
- 著者名
- Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov
- 掲載誌名
- 誌名Electoronic Notes of Theoretical Computer Science (Elsevier Science Publishing, 欧州理論情報学会編）Vol.16 Part I (出版年（月日）1998年09月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
フッサールの形式論理学分析における「多様体」概念の役割
- 著者名
- 岡田 光弘
- 掲載誌名
- 誌名哲學 三田哲学会編 開始ページ1 - 終了ページ43 (出版年（月日）1997年）
- 共著区分
- 単著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 無し
Abstract Data Type Systems
- 著者名
- J.-P. Jouannaud, M. Okada
- 掲載誌名
- 誌名Theoretical Computer science 173 (欧州理論情報学会誌）, 開始ページ349-391 (出版年（月日）1997年12月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り
Phase Semantics for Light Linear Logic (extended abstract)
- 著者名
- M. Kanovitch, M. Okada, A. Scedrov
- 掲載誌名
- 誌名Electoronic Notes of Theoretical Computer Science 5(Elsevier Science Publishing, 欧州理論情報学会編） 開始ページ221 - 終了ページ234 (出版年（月日）1997年04月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（国際会議プロシーディングス）
- 査読有無
- 有り
A Relationship Among Gentzen's Proof Reduction, Kirby-Paris' Hydra Game
- 著者名
- M,Hamano, M. Okada
- 掲載誌名
- 誌名Mathematical Logic Quarterly 43 開始ページ103-120 (出版年（月日）1997年03月）
- 共著区分
- 共著
- 掲載種別
- 研究論文（学術雑誌）
- 査読有無
- 有り