Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 13 (Search time: 0.007 seconds).
Item hits:
BibliographyContents
Inductive Inference of Logic Programs Based on Algebraic Semantics
  SAKAKIBARA, Yasubumi (1988-04)
  数理解析研究所講究録, 655: 64-83
file type icon 
A distributed rewriting system in a cellular space
  NISHIDA, Taishin (1988-04)
  数理解析研究所講究録, 655: 1-19
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 
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 
Top-down Zooming Diagnosis of Logic Programs
  MAEJI, Machi, KANAMORI, Tadashi (1988-04)
  数理解析研究所講究録, 655: 147-166
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 
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 
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