Mathematical Theory of ComputationにおけるD. Scottの方法 (プログラムの基礎理論)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 小野 寛晰

  School Of Information Science Jaist

• 小野 寛晰

  京都大学数理解析研究所

関連論文

• 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の方法 (プログラムの基礎理論)

スポンサーリンク