書誌情報	ファイル
表紙・目次    (1988-04)   数理解析研究所講究録, 655
A distributed rewriting system in a cellular space   NISHIDA, Taishin (1988-04)   数理解析研究所講究録, 655: 1-19
EDEN - An Event-Driven Execution Monitor for Ada Tasking Programs : Implementation and Application   CHENG, Jingde; SHIRAKIHARA, Toshio; ARAKI, Keijiro; Ushijima, Kazuo (1988-04)   数理解析研究所講究録, 655: 20-39
Controllable Two-Phase Locking Mechanisms   KAMBAYASHI, Yahiko (1988-04)   数理解析研究所講究録, 655: 40-51
Generalized Object Oriented Data Model for Multi-Media Data   KAMBAYASHI, Yahiko; ARIKAWA, Masatoshi (1988-04)   数理解析研究所講究録, 655: 52-63
Inductive Inference of Logic Programs Based on Algebraic Semantics   SAKAKIBARA, Yasubumi (1988-04)   数理解析研究所講究録, 655: 64-83
An Algebraic Method For Verifying Progress Property of Communication Protocolos   HIGASHINO, Teruo; TANIGUCHI, Kenichi; KASAMI, Tadao; FUJII, Mamoru; MORI, Masaaki (1988-04)   数理解析研究所講究録, 655: 84-103
On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$   SEKI, Hiroyuki; TANIGUCHI, Kenichi; KASAMI, Tadao (1988-04)   数理解析研究所講究録, 655: 104-123
Computation Mechanism and Semantics for Logic Programs Based on Dataflow Networks   Yamasaki, Susumu (1988-04)   数理解析研究所講究録, 655: 124-146
Top-down Zooming Diagnosis of Logic Programs   MAEJI, Machi; KANAMORI, Tadashi (1988-04)   数理解析研究所講究録, 655: 147-166
Time-Extraction for Temporal Logic : Logic Programming and Local Process Time   Hattori, Takashi (1988-04)   数理解析研究所講究録, 655: 167-185
A rewriting system for categorical combinators with multiple arguments   Yokouchi, Hirofumi; Hikita, Teruo (1988-04)   数理解析研究所講究録, 655: 186-208
Editing mechanism for the uniform manipulation of various kinds of data   WATANABE, Toyohide; OGASAWARA, Tatsuo; YOSHIDA, Yuuji; FUKUMURA, Teruo (1988-04)   数理解析研究所講究録, 655: 209-223