Proving Correctness of Algol-Like Programs in a Formal System (アルゴリズムにおける証明論)
スポンサーリンク
概要
著者
関連論文
- 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の方法 (プログラムの基礎理論)