Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 19 (Search time: 0.003 seconds).
Item hits:
BibliographyContents
表紙・目次
   (1975-05)
  数理解析研究所講究録, 236
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 
Program Schemas with Tree Data Structures (アルゴリズムにおける証明論)
  TOKURA, NOBUKI, KASAMI, TADAO (1975-05)
  数理解析研究所講究録, 236: 197-203
file type icon 
The Game of "Hana" : Representation and Analysis using a Typed Calculus
  IGARASHI, SHIGERU (1975-05)
  数理解析研究所講究録, 236: 212-215
file type icon 
数式処理における数式の型について (アルゴリズムにおける証明論)
  渡辺, 隼郎 (1975-05)
  数理解析研究所講究録, 236: 204-211
file type icon 
Proving Correctness of Algol-Like Programs in a Formal System (アルゴリズムにおける証明論)
  ONO, HIROAKIRA (1975-05)
  数理解析研究所講究録, 236: 124-130
file type icon 
Bi-Relational Frameworks for Minimal and Intuitionistic Logics (アルゴリズムにおける証明論)
  SONOBE, OSAMU (1975-05)
  数理解析研究所講究録, 236: 174-189
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 
Key Assertions and Backward Substitutions (アルゴリズムにおける証明論)
  TAKASU, SATORU (1975-05)
  数理解析研究所講究録, 236: 190-196
file type icon