Collection home page

Mathematical Methods in Software Science and Engineering   16
(http://hdl.handle.net/2433/101534)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 16 of 16
BibliographyContents
表紙・目次
   (1983-03)
  数理解析研究所講究録, 482
file type icon
TOWARD THE DESIGN AND IMPLEMENTATION OF OBJECT ORIENTED ARCHITECTURE
  TOKORO, Mario (1983-03)
  数理解析研究所講究録, 482: 1-22
file type icon
Relational Algebra Machine GRACE
  Kitsuregawa, Masaru, Tanaka, Hidehiko, Moto-oka, Tohru (1983-03)
  数理解析研究所講究録, 482: 23-40
file type icon
Design of a Lisp Machine - FLATS
  Goto, E., Soma, T., Inada, N., Ida, T., Idesawa, M., Hiraki, K., Suzuki, M., Shimizu, K., Philipov, B. (1983-03)
  数理解析研究所講究録, 482: 41-48
file type icon
EFFECTS OF PRACTICAL ASSUMPTIONS IN AREA COMPLEXITY OF VLSI COMPUTATION
  HAGIHARA, Ken'ichi, WADA, Kouichi, TOKURA, Nobuki (1983-03)
  数理解析研究所講究録, 482: 49-72
file type icon
Hardware Algorithms and Logic Design Automation : An Overview and Progress Report
  YAJIMA, Shuzo, YASUURA, Hiroto (1983-03)
  数理解析研究所講究録, 482: 73-97
file type icon
Fixed point semantics of logical formulae
  Oyagi, Shigeo (1983-03)
  数理解析研究所講究録, 482: 98-114
file type icon
Polynomial Time Inference of Extended Regular Pattern Languages
  Shinohara, Takeshi (1983-03)
  数理解析研究所講究録, 482: 115-128
file type icon
A linear tree matching algorithm
  Kojima, Keiji (1983-03)
  数理解析研究所講究録, 482: 129-144
file type icon
An Algorithm for Intelligent Backtracking
  Sato, Taisuke (1983-03)
  数理解析研究所講究録, 482: 145-155
file type icon
Data Base Semantics Based on Intuitionistic Logics
  Mizukami, Tatsunari (1983-03)
  数理解析研究所講究録, 482: 156-182
file type icon
MULTI-VERSION CONCURRENCY CONTROL SCHEME FOR A DATABASE SYSTEM : VERSION 1
  Muro, Shojiro, Kameda, Tsunehiko, Minoura, Toshimi (1983-03)
  数理解析研究所講究録, 482: 183-214
file type icon
Design and Implementation of A Highly Modularized Functional language
  Saji, Nobuyuki, Yonezawa, Akinori (1983-03)
  数理解析研究所講究録, 482: 215-239
file type icon
Treatment of Big Values in an Applicative Language HFP : Translation from By-Value Access to By-Update Access
  Katayama, Takuya (1983-03)
  数理解析研究所講究録, 482: 240-254
file type icon
Partial Computation of Programs
  Futamura, Yoshihiko (1983-03)
  数理解析研究所講究録, 482: 255-295
file type icon
Modularization and Abstraction in Logic Programming
  Furukawa, K., Nakajima, R., Yonezawa, A. (1983-03)
  数理解析研究所講究録, 482: 296-310
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 16 of 16