Published papers
Okada, Mitsuhiro
101-120 items (total 139)
教育と社会
- Author
- 岡田光弘
- Publication Title
- (Publication Date）1993/05）
- Authorship Category
- Single Work
- Peer-review Status
- Without
Denotational Semantical Analysis on Japanese Case Particles
- Author
- M. Okada, K. Watanabe
- Publication Title
- Start Page 145-157 (Publication Date）1993/03）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Satisfiability of Systems of Ordinal Notations with The Subterm Property Is Decidable
- Author
- Jean-Pierre Jouannaud and Mitsuhiro Okada
- Publication Title
- Magazine name Lecture Notes in Computer Science Start Page 455 - End Page 468 (Publication Date）1991）
- Publication Category
- Research paper (scientific journal)
Rewriting Theory for the Uniqueness Condition of Higher Types
- Author
- M. Okada, P.J. Scott
- Publication Title
- Magazine name Proc. Of the Montreal Workshop on Programing Language Theory 1991年春季大会（但し、実際の報告集出版は、1992年1月）, Logic and Formal Methods Series 2, Conordia 大学出版局 Start Page 20-28 (Publication Date）1991/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
System description of LAMBDALG
- Author
- Yexuan Gui and Mitsuhiro Okada
- Publication Title
- Magazine name Proc. Of Logic Programming and Automated Reasoning, Springer Lecture Notes in Artificial Intelligence 698（ドイツ Springer社） Start Page 354 - End Page 356 (Publication Date）1991/08）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
A Computation Model for Executable Higher-Order Algebraic Specification Languages
- Author
- J.-P. Jouannaud, M. Okada
- Publication Title
- Start Page 350 - End Page 361 (Publication Date）1991/06）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Girard's Phase-Semantics and Higher Order Cut-Elimination Proof
- Publication Title
- Start Page 122-139 (Publication Date）1991/06）
- Authorship Category
- Single Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
The Satisfaction Problem for Systems of Ordinal Notations with Subterm Property Is Decidable
- Author
- J.-P. Jouannaud, M. Okada
- Publication Title
- Start Page 455-468 (Publication Date）1991/06）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Interrogative Sentences in Japanese, in Language
- Author
- M. Okada, K. Watanabe
- Publication Title
- Start Page 64-76 (Publication Date）1991/03）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
普遍記号学の夢と現実
- Author
- 岡田 光弘
- Publication Title
- Start Page 143-161 (Publication Date）1990/12）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- Without
A Rational for Conditional Equational Programming
- Author
- Nachum Dershowitz and Mitsuhiro Okada
- Publication Title
- Magazine name Theoretical Computer Science誌 91 Start Page 111 - End Page 138 (Publication Date）1990/09）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Annals of the Japan Association for Philosophy of Science 7 Start Page 163-172 (Publication Date）1989/10）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Ordering Strutures and the Knuth-Bendix Comletion Algorithm
- Author
- M. Okada and A.Steel
- Publication Title
- Magazine name Proc. 29th Allerton Conference on Communication, Control and Compuring Allerton, IL, Univ. of Illinois 出版局 (Publication Date）1989/10）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Strong Normalizability for the Combined System of The Typed Lambda Calculus and an Arbitrary Convergent Term Rewrite System
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Proceedings of International Conference on Algebraic and and Symbolic Computation,ACM(Association Computer Machinery) Press Start Page 357 - End Page 363 (Publication Date）1989/08）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Practical Applications of Conditional term Rewriting Theory
- Author
- P. Grogono, M. Okada
- Publication Title
- Magazine name Proceedings of XV Latin American Conference on Informatics / IX Conference of Chilean Computer Society Start Page 525-540 (Publication Date）1989/08）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- Without
Temporal Object-Oriented Databases
- Author
- M. Okada, Y. Quan
- Publication Title
- Magazine name Proc. Advaced Daatabase System Symposium. Kyoto, Japan (Publication Date）1989/08）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Applications and Results of Term Rewriting Theory
- Author
- P. Grogono and Mitsuhiro Okada
- Publication Title
- Magazine name Proceedings of International Conference on Symbolic and Logical Computing, North Dakota (Publication Date）1989/06）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
Notes on Proof of the Extended Kirby-Paris Theorem on Labeled Finite Trees
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name European Journal of Conbinatorics Volume 9(Issue 3) Start Page 249 - End Page 253 (Publication Date）1988）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With
Conditional Equational Programing and Theory of Conditional Term Rewriting
- Author
- N. Dershowitz and M. Okada
- Publication Title
- Magazine name Proc. Of Fifth Generarion Computer Systems, Tokyo, ICOT Start Page 337-346 (Publication Date）1988/12）
- Authorship Category
- Joint Work
- Publication Category
- Research paper (international conference proceedings)
- Peer-review Status
- With
On a Theory of Weak Implications
- Author
- Mitsuhiro Okada
- Publication Title
- Magazine name Journal of Symbolic logic 53 Start Page 200-211 (Publication Date）1988/10）
- Authorship Category
- Single Work
- Publication Category
- Research paper (scientific journal)
- Peer-review Status
- With