コレクションホームページ
0655 ソフトウェア科学・工学における数理的方法
13
0655 ソフトウェア科学・工学における数理的方法
13
(http://hdl.handle.net/2433/98204)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 13 / 13
書誌情報 | ファイル |
---|---|
表紙・目次 (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 |
文献一覧(目次の昇順ソート): 1 - 13 / 13