Published papers
Okada, Mitsuhiro
121-139 items (total 139)
Prolog with Modality
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Proc. European Workshop on Logical Methods in AI, Roscoff, France(パリ大学第６校出版） (Publication Date）1988/08）
- Authorship Category
- Single Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Logical Analysis for Theory of Conditional Rewriting
- Author
- N. Dershowitz, R.Sivakmar
- Publication Title
- Magazine name Springer Lecture Notes in Computer Science 308（ドイツ Springer社） Start Page 179-196 (Publication Date）1988/08）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Canonical Conditional Rewrite Systems
- Author
- N. Dershowitz, R.Sivakmar
- Publication Title
- Start Page 538-549 (Publication Date）1988/07）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Confluence of Conditional Rewrite systems
- Author
- N. Dershowitz, M. Okada and G. Sivakumar
- Publication Title
- (Publication Date）1988/06）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Proof-Theoretic Techniques for Term Rewriting Theory
- Author
- N. Dershowitz and M. Okada
- Publication Title
- Start Page 104-111 (Publication Date）1988/06）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Finite Combinatorics
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Combinatorics Publisher American Mathematical Society (Publication Date）1987）
- Publication Category
- Research paper (other academic)
On The Theory of Quasi-Ordinal Diagram
- Author
- Mitsuhiro Okada and Gaisi Takeuti
- Publication Title
- Magazine name Contemporary Mathematics Publisher American Mathematical Society Start Page 295 - End Page 308 (Publication Date）1987）
- Publication Category
- Research paper (international conference proceedings)
A Weak Intuitionistic Propositional Logic with Purely Constructive Implication
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Studia Logica Volume 46(Issue 4) Start Page 371 - End Page 382 (Publication Date）1987/12）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
A Note on Rewriting Theory for Uniqueness of Itaration
- Author
- M. Okada, P-J. Scott
- Publication Title
- Volume Vol.6(Issue No.4) Start Page 47-64 (Publication Date）1999/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Phase Semantic Cut-Elimination and Normalization Proofs of First- and Higher-Order Linear Logic
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Theoretical Computer Science (欧州理論情報学会誌) Volume 227(Issue 1--2) Start Page 333 - End Page 396 (Publication Date）1999/09）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
The Calculus of Algebraic Constructions. In Rewriting Techniques and Applications (eds. by Paliath Narendran and Michaël Rusinowitch)
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Rewriting Techniques and Applications, 10th International Conference, RTA-99 Trento, Italy, July 2--4, 1999 Proceedings, volume 1631 of Lecture Notes in Computer Science Start Page 301 - End Page 316 (Publication Date）1999/06）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic
- Author
- M. Okada, K. Terui
- Publication Title
- Magazine name Journal of Symbolic Logic Start Page 790 - End Page 802 (Publication Date）1999/03）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
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)
- Author
- Mitsuhiro Okada and Kazushige Terui.
- Publication Title
- Magazine name RIMS Kokyuroku 1023: Type Theory and Its Applications to Computer Systems Publisher Research Institute for Mathematical Sciences, Kyoto University. Start Page 57 - End Page 75 (Publication Date）1998）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (other academic)
A Direct Independence Proof of Buchholz's Hydra Game on Finite Labeled Trees.
- Author
- M. Hamano and M. Okada
- Publication Title
- Magazine name Archive for Mathematical Logic Volume 37(Issue 2) Start Page 67 - End Page 89 (Publication Date）1998）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Specifying Real-Time Finite State Systems by Linear Logic
- Author
- Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov
- Publication Title
- Magazine name Electoronic Notes of Theoretical Computer Science (Elsevier Science Publishing, 欧州理論情報学会編）Vol.16 Part I (Publication Date）1998/09）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
フッサールの形式論理学分析における「多様体」概念の役割
- Author
- 岡田 光弘
- Publication Title
- Start Page 1 - End Page 43 (Publication Date）1997）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
Abstract Data Type Systems
- Author
- J.-P. Jouannaud, M. Okada
- Publication Title
- Start Page 349-391 (Publication Date）1997/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Phase Semantics for Light Linear Logic (extended abstract)
- Author
- M. Kanovitch, M. Okada, A. Scedrov
- Publication Title
- Start Page 221 - End Page 234 (Publication Date）1997/04）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
A Relationship Among Gentzen's Proof Reduction, Kirby-Paris' Hydra Game
- Author
- M,Hamano, M. Okada
- Publication Title
- Start Page 103-120 (Publication Date）1997/03）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With