小野 寛晰 | School Of Information Science Jaist
スポンサーリンク
概要
関連著者
-
小野 寛晰
School Of Information Science Jaist
-
小野 寛晰
Hiroshima University
-
小野 寛晰
京都大学数理解析研究所
-
中村 昭
Department Of Computer Science Meiji University
-
中村 昭
広島大学
-
小野 寛晰
広島大学
-
小野 寛晰
広島大学理学部
-
中村 昭
広島大学理学部
-
小野 寛晰
津田塾大学理学部
-
中村 昭
広島大学工学部応用数学教室
著作論文
- Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics)
- Some results on reflection principles in fragments of Peano arithmetic(Logic and the Foundations of Mathematics)
- Embedding Theorem for Lattices with Complementation(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- Pictures of Functions and Their Acceptability by Automata (Mathematical Studies of Information Processing)
- Undecidable Extensions of Monadic First-Order Successor Arithmetic (情報科学の数学的基礎理論と応用)
- Proving Correctness of Algol-Like Programs in a Formal System (アルゴリズムにおける証明論)
- 多値論理とそのモデル (多値論理およびその応用 II)
- Mathematical Theory of ComputationにおけるD. Scottの方法 (プログラムの基礎理論)