書誌情報	ファイル
表紙・目次    (1980-09)   数理解析研究所講究録, 396
Implementing Consistent Recovery in a Distributed Database System (Mathematical Methods in Software Science and Engineering : Second Conference)   TAKAGI, AKIHIRO (1980-09)   数理解析研究所講究録, 396: 1-20
Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures (Mathematical Methods in Software Science and Engineering : Second Conference)   FURUKAWA, KOICHI (1980-09)   数理解析研究所講究録, 396: 21-38
A Method for Synthesis of Data Base Access Programs (Mathematical Methods in Software Science and Engineering : Second Conference)   YONEZAWA, AKINORI (1980-09)   数理解析研究所講究録, 396: 39-63
Design of a View Support Subsystem of a Database System (Mathematical Methods in Software Science and Engineering : Second Conference)   MASUNAGA, YOSHIFUMI (1980-09)   数理解析研究所講究録, 396: 64-103
Information Space Model (Mathematical Methods in Software Science and Engineering : Second Conference)   TANAKA, YUZURU (1980-09)   数理解析研究所講究録, 396: 104-130
Interactive Debugging for Functional Recursive Programming (Mathematical Methods in Software Science and Engineering : Second Conference)   NAGATA, MORIO (1980-09)   数理解析研究所講究録, 396: 131-169
DURAL : an Extended Prolog Language (Mathematical Methods in Software Science and Engineering : Second Conference)   GOTO, SHIGEKI (1980-09)   数理解析研究所講究録, 396: 170-189
モンテギュ理論をめぐって (ソフトウェア科学,工学における数理的方法)   渕, 一博 (1980-09)   数理解析研究所講究録, 396: 190-198
Intensional Logic as a Basis of Algorithmic Logic (Mathematical Methods in Software Science and Engineering : Second Conference)   SAWAMURA, HAJIME (1980-09)   数理解析研究所講究録, 396: 199-235
On the Knowledge-based Synthesis of Data Structure Manipulating Programs (Mathematical Methods in Software Science and Engineering : Second Conference)   MANO, NOBUOKI (1980-09)   数理解析研究所講究録, 396: 236-259
Multidimensional Systematic Sampling (Mathematical Methods in Software Science and Engineering : Second Conference)   SASAKI, TATEAKI (1980-09)   数理解析研究所講究録, 396: 260-288
An Exercise in Transforming Wijngaarden Grammars into Knuthian Grammars (Mathematical Methods in Software Science and Engineering : Second Conference)   TOKUDA, TAKEHIRO (1980-09)   数理解析研究所講究録, 396: 289-309
Notes on List Marking Algorithms Using Constant Workspace (Mathematical Methods in Software Science and Engineering : Second Conference)   HASEGAWA, HIROSHI (1980-09)   数理解析研究所講究録, 396: 310-318
自然言語処理のためのソフトウェア構造 (ソフトウェア科学,工学における数理的方法)   辻井, 潤一; 中村, 順一 (1980-09)   数理解析研究所講究録, 396: 319-354