Collection home page

Proof Theory in Algorithms   19
(http://hdl.handle.net/2433/100847)

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