Collection home page

Mathematical Methods in Software Science and Engineering; Second Conference   15
(http://hdl.handle.net/2433/101291)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 15 of 15
BibliographyContents
表紙・目次
   (1980-09)
  数理解析研究所講究録, 396
file type icon
Implementing Consistent Recovery in a Distributed Database System (Mathematical Methods in Software Science and Engineering : Second Conference)
  TAKAGI, AKIHIRO (1980-09)
  数理解析研究所講究録, 396: 1-20
file type icon
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
file type icon
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
file type icon
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
file type icon
Information Space Model (Mathematical Methods in Software Science and Engineering : Second Conference)
  TANAKA, YUZURU (1980-09)
  数理解析研究所講究録, 396: 104-130
file type icon
Interactive Debugging for Functional Recursive Programming (Mathematical Methods in Software Science and Engineering : Second Conference)
  NAGATA, MORIO (1980-09)
  数理解析研究所講究録, 396: 131-169
file type icon
DURAL : an Extended Prolog Language (Mathematical Methods in Software Science and Engineering : Second Conference)
  GOTO, SHIGEKI (1980-09)
  数理解析研究所講究録, 396: 170-189
file type icon
モンテギュ理論をめぐって (ソフトウェア科学,工学における数理的方法)
  渕, 一博 (1980-09)
  数理解析研究所講究録, 396: 190-198
file type icon
Intensional Logic as a Basis of Algorithmic Logic (Mathematical Methods in Software Science and Engineering : Second Conference)
  SAWAMURA, HAJIME (1980-09)
  数理解析研究所講究録, 396: 199-235
file type icon
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
file type icon
Multidimensional Systematic Sampling (Mathematical Methods in Software Science and Engineering : Second Conference)
  SASAKI, TATEAKI (1980-09)
  数理解析研究所講究録, 396: 260-288
file type icon
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
file type icon
Notes on List Marking Algorithms Using Constant Workspace (Mathematical Methods in Software Science and Engineering : Second Conference)
  HASEGAWA, HIROSHI (1980-09)
  数理解析研究所講究録, 396: 310-318
file type icon
自然言語処理のためのソフトウェア構造 (ソフトウェア科学,工学における数理的方法)
  辻井, 潤一, 中村, 順一 (1980-09)
  数理解析研究所講究録, 396: 319-354
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 15 of 15