Collection home page

Mathematical Methods in Software Science and Engineering   13

List Of Items (Sorted by table of contents in Ascending order): 1 to 13 of 13
  数理解析研究所講究録, 655
file type icon
A distributed rewriting system in a cellular space
  NISHIDA, Taishin (1988-04)
  数理解析研究所講究録, 655: 1-19
file type icon
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
file type icon
Controllable Two-Phase Locking Mechanisms
  KAMBAYASHI, Yahiko (1988-04)
  数理解析研究所講究録, 655: 40-51
file type icon
Generalized Object Oriented Data Model for Multi-Media Data
  KAMBAYASHI, Yahiko, ARIKAWA, Masatoshi (1988-04)
  数理解析研究所講究録, 655: 52-63
file type icon
Inductive Inference of Logic Programs Based on Algebraic Semantics
  SAKAKIBARA, Yasubumi (1988-04)
  数理解析研究所講究録, 655: 64-83
file type icon
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
file type icon
On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/$^\ast$
  SEKI, Hiroyuki, TANIGUCHI, Kenichi, KASAMI, Tadao (1988-04)
  数理解析研究所講究録, 655: 104-123
file type icon
Computation Mechanism and Semantics for Logic Programs Based on Dataflow Networks
  Yamasaki, Susumu (1988-04)
  数理解析研究所講究録, 655: 124-146
file type icon
Top-down Zooming Diagnosis of Logic Programs
  MAEJI, Machi, KANAMORI, Tadashi (1988-04)
  数理解析研究所講究録, 655: 147-166
file type icon
Time-Extraction for Temporal Logic : Logic Programming and Local Process Time
  Hattori, Takashi (1988-04)
  数理解析研究所講究録, 655: 167-185
file type icon
A rewriting system for categorical combinators with multiple arguments
  Yokouchi, Hirofumi, Hikita, Teruo (1988-04)
  数理解析研究所講究録, 655: 186-208
file type icon
Editing mechanism for the uniform manipulation of various kinds of data
  WATANABE, Toyohide, OGASAWARA, Tatsuo, YOSHIDA, Yuuji, FUKUMURA, Teruo (1988-04)
  数理解析研究所講究録, 655: 209-223
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 13 of 13