検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| Inductive Inference of Logic Programs Based on Algebraic Semantics SAKAKIBARA, Yasubumi (1988-04) 数理解析研究所講究録, 655: 64-83 |  |
| A distributed rewriting system in a cellular space NISHIDA, Taishin (1988-04) 数理解析研究所講究録, 655: 1-19 | |
| On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$ SEKI, Hiroyuki; TANIGUCHI, Kenichi; KASAMI, Tadao (1988-04) 数理解析研究所講究録, 655: 104-123 | |
| Editing mechanism for the uniform manipulation of various kinds of data WATANABE, Toyohide; OGASAWARA, Tatsuo; YOSHIDA, Yuuji; FUKUMURA, Teruo (1988-04) 数理解析研究所講究録, 655: 209-223 | |
| Top-down Zooming Diagnosis of Logic Programs MAEJI, Machi; KANAMORI, Tadashi (1988-04) 数理解析研究所講究録, 655: 147-166 | |
| A rewriting system for categorical combinators with multiple arguments Yokouchi, Hirofumi; Hikita, Teruo (1988-04) 数理解析研究所講究録, 655: 186-208 | |
| 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 | |
| Generalized Object Oriented Data Model for Multi-Media Data KAMBAYASHI, Yahiko; ARIKAWA, Masatoshi (1988-04) 数理解析研究所講究録, 655: 52-63 | |
| Controllable Two-Phase Locking Mechanisms KAMBAYASHI, Yahiko (1988-04) 数理解析研究所講究録, 655: 40-51 | |
| 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 | |