書誌情報	ファイル
表紙・目次    (1975-05)   数理解析研究所講究録, 236
On Applying Scott's Logic to Termination Problems (アルゴリズムにおける証明論)   ANDO, SHIGERU; ITO, TAKAYASU (1975-05)   数理解析研究所講究録, 236: 1-7
A Natural Deduction System for Assertions (アルゴリズムにおける証明論)   IGARASHI, SHIGERU (1975-05)   数理解析研究所講究録, 236: 8-14
Recursive Program Schemata and Formal Languages (アルゴリズムにおける証明論)   ITO, TAKAYASU (1975-05)   数理解析研究所講究録, 236: 15-20
Dynamics of System Program : Progressive Induction (アルゴリズムにおける証明論)   KAKEHI, KATSUHIKO; SIMAUTI, TAKAKAZU (1975-05)   数理解析研究所講究録, 236: 21-30
Program Schemas without Gotos (アルゴリズムにおける証明論)   KANAYAMA, YUTAKA (1975-05)   数理解析研究所講究録, 236: 31-37
A Formal Semantics for Algorithmic Linguages Based on the Scott's Logic (アルゴリズムにおける証明論)   MUKAI, KUNIAKI; SEKIMOTO, SHOJI; SUDO, MASARU (1975-05)   数理解析研究所講究録, 236: 38-45
Implementation of Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論)   IWAMARU, YOSHIAKI; NAGATA, MORIO; NAKANISHI, MASAKAZU; NISHIMURA, TOSHIO (1975-05)   数理解析研究所講究録, 236: 46-75
Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論)   NISHIMURA, TOSHIO (1975-05)   数理解析研究所講究録, 236: 76-86
The Formal System for Various 3-Valued Logics (I) (アルゴリズムにおける証明論)   NISHIMURA, TOSHIO; OYA, TAKEMASA (1975-05)   数理解析研究所講究録, 236: 87-110
On Data Structures for Manipulating Graphs and a New Efficient Program of the Dijkstra Method for the Shortest Path Problem (アルゴリズムにおける証明論)   NOSHITA, KOHEI (1975-05)   数理解析研究所講究録, 236: 111-123
Proving Correctness of Algol-Like Programs in a Formal System (アルゴリズムにおける証明論)   ONO, HIROAKIRA (1975-05)   数理解析研究所講究録, 236: 124-130
Correctness of Co-Operating Sequential Programs (アルゴリズムにおける証明論)   SAITO, NOBUO (1975-05)   数理解析研究所講究録, 236: 131-152
Mathematical Theories on Operating System (アルゴリズムにおける証明論)   SAITO, NOBUO (1975-05)   数理解析研究所講究録, 236: 153-173
Bi-Relational Frameworks for Minimal and Intuitionistic Logics (アルゴリズムにおける証明論)   SONOBE, OSAMU (1975-05)   数理解析研究所講究録, 236: 174-189
Key Assertions and Backward Substitutions (アルゴリズムにおける証明論)   TAKASU, SATORU (1975-05)   数理解析研究所講究録, 236: 190-196
Program Schemas with Tree Data Structures (アルゴリズムにおける証明論)   TOKURA, NOBUKI; KASAMI, TADAO (1975-05)   数理解析研究所講究録, 236: 197-203
数式処理における数式の型について (アルゴリズムにおける証明論)   渡辺, 隼郎 (1975-05)   数理解析研究所講究録, 236: 204-211
The Game of "Hana" : Representation and Analysis using a Typed Calculus   IGARASHI, SHIGERU (1975-05)   数理解析研究所講究録, 236: 212-215