書誌情報 | ファイル |
表紙・目次 (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
| |