Collection home page

Fundamental Theory of Programming   11
(http://hdl.handle.net/2433/100780)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11
BibliographyContents
表紙・目次
   (1973-10)
  数理解析研究所講究録, 189
file type icon
Two Formal Systems for Proving Assertions About Programs (プログラムの基礎理論)
  IGARASHI, SHIGERU (1973-10)
  数理解析研究所講究録, 189: 2-6
file type icon
Some Remarks in General Theory of Flow-Charts (プログラムの基礎理論)
  HIROSE, KEN, OTANI, MAKOTO (1973-10)
  数理解析研究所講究録, 189: 7-12
file type icon
On the Key Assertions (プログラムの基礎理論)
  TAKASU, SATORU (1973-10)
  数理解析研究所講究録, 189: 13-37
file type icon
Gentzen-Style Formulation of Systems of Set-Calculus (プログラムの基礎理論)
  NISHIMURA, TOSHIO (1973-10)
  数理解析研究所講究録, 189: 38-51
file type icon
Theorem-ProvingのProgram (プログラムの基礎理論)
  西村, 敏男, 井出, 修, 大矢, 建正, 神居, 雅志 (1973-10)
  数理解析研究所講究録, 189: 52-59
file type icon
Preparations for Formal Study of a Simple Program Including Floating-Point Arithmetic (プログラムの基礎理論)
  USHIJIMA, KAZUO (1973-10)
  数理解析研究所講究録, 189: 60-69
file type icon
A Formal System of Programs (プログラムの基礎理論)
  KANAYAMA, YUTAKA (1973-10)
  数理解析研究所講究録, 189: 70-81
file type icon
Data Typeの公理系 (プログラムの基礎理論)
  伊藤, 貴康 (1973-10)
  数理解析研究所講究録, 189: 82-88
file type icon
Computer Program Synthesis From Computation Traces (プログラムの基礎理論)
  BIERMANN, A.W. (1973-10)
  数理解析研究所講究録, 189: 89-100
file type icon
Analysis of a Disk Operating System (プログラムの基礎理論)
  OKUI, JUN, TOKURA, NOBUKI, KASAMI, TADAO (1973-10)
  数理解析研究所講究録, 189: 101-117
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 11 of 11