書誌情報	ファイル
表紙・目次    (1981-09)   数理解析研究所講究録, 436
Dependency Integration of Locally Independent Relational Databases into a Distributed Database (Mathematical Methods in Software Science and Engineering : Third Conference)   TANAKA, KATSUMI; KAMBAYASHI, YAHIKO (1981-09)   数理解析研究所講究録, 436: 1-26
Vocabulary Building for Database Queries (Mathematical Methods in Software Science and Engineering : Third Conference)   TANAKA, YUZURU (1981-09)   数理解析研究所講究録, 436: 27-46
LSI技術の展望 (ソフトウェア科学,工学の数理的方法)   唐津, 修; 日比野, 靖 (1981-09)   数理解析研究所講究録, 436: 47-66
Parallelism in Algebraic Computation and Parallel Algorithms for Symbolic Linear Systems (Mathematical Methods in Software Science and Engineering : Third Conference)   SASAKI, TATEAKI; KANADA, YASUMASA (1981-09)   数理解析研究所講究録, 436: 67-81
List Processing on a Data Flow Machine (Mathematical Methods in Software Science and Engineering : Third Conference)   AMAMIYA, MAKOTO; HASEGAWA, RYUZO; MIKAMI, HIROHIDE (1981-09)   数理解析研究所講究録, 436: 82-116
Yet Another Environment-Retention Strategy (Mathematical Methods in Software Science and Engineering : Third Conference)   TOSHIMA, HIROSHI (1981-09)   数理解析研究所講究録, 436: 117-131
計算の難しさについて (ソフトウェア科学,工学の数理的方法)   笠井, 琢美 (1981-09)   数理解析研究所講究録, 436: 132-155
A Language with Modified Block Structure for Data Abstraction and Stepwise Refinement (Mathematical Methods in Software Science and Engineering : Third Conference)   CHUSHO, TAKESHI; NOGI, KENROKU; HAYASHI, TOSHIHIRO (1981-09)   数理解析研究所講究録, 436: 156-173
Abstract Program Model and Functional Mapping (Mathematical Methods in Software Science and Engineering : Third Conference)   OHBA, M.; TANITSU, Y.; TAKIMOTO, N.; KADOTA, H. (1981-09)   数理解析研究所講究録, 436: 174-197
A Verification System for File Processing Programs (Mathematical Methods in Software Science and Engineering : Third Conference)   TAMAI, TETSUO; FUKUNAGA, KOICHI (1981-09)   数理解析研究所講究録, 436: 198-217
Design, Implementation and Philosophy of Hyperlisp (Mathematical Methods in Software Science and Engineering : Third Conference)   HAGIYA, MASAMI (1981-09)   数理解析研究所講究録, 436: 218-232
Lazy Representation for a Proof of List Marking Algorithms (Mathematical Methods in Software Science and Engineering : Third Conference)   KAWAI, SATORU (1981-09)   数理解析研究所講究録, 436: 233-260
Natural Language as a Specefication Language for Programs (Mathematical Methods in Software Science and Engineering : Third Conference)   FUCHI, KAZUHIRO (1981-09)   数理解析研究所講究録, 436: 261-280