Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 18.

前
1
2
次

検索結果:

書誌情報	ファイル
Implementation of Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論) IWAMARU, YOSHIAKI; NAGATA, MORIO; NAKANISHI, MASAKAZU; NISHIMURA, TOSHIO (1975-05) 数理解析研究所講究録, 236: 46-75
A Formal Semantics for Algorithmic Linguages Based on the Scott's Logic (アルゴリズムにおける証明論) MUKAI, KUNIAKI; SEKIMOTO, SHOJI; SUDO, MASARU (1975-05) 数理解析研究所講究録, 236: 38-45
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
The Formal System for Various 3-Valued Logics (I) (アルゴリズムにおける証明論) NISHIMURA, TOSHIO; OYA, TAKEMASA (1975-05) 数理解析研究所講究録, 236: 87-110
Gentzen-Type Formal System Representing Properties of Functions (アルゴリズムにおける証明論) NISHIMURA, TOSHIO (1975-05) 数理解析研究所講究録, 236: 76-86
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
Program Schemas without Gotos (アルゴリズムにおける証明論) KANAYAMA, YUTAKA (1975-05) 数理解析研究所講究録, 236: 31-37
Program Schemas with Tree Data Structures (アルゴリズムにおける証明論) TOKURA, NOBUKI; KASAMI, TADAO (1975-05) 数理解析研究所講究録, 236: 197-203