Collection home page

Mathematical Methods in Software Science and Engineering   14

List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14
  数理解析研究所講究録, 511
file type icon
A Fast Parallel Merging Algorithm for 2-3 trees
  SHIBAYAMA, Etsuya (1984-02)
  数理解析研究所講究録, 511: 1-25
file type icon
Analogy and Generalization
  Haraguchi, Makoto (1984-02)
  数理解析研究所講究録, 511: 26-48
file type icon
Evaluating graph representations with active nodes
  NUMAO, Masayuki, SHIMURA, Masamichi (1984-02)
  数理解析研究所講究録, 511: 49-73
file type icon
On Equivalence Trarnsformations for Term Rewriting Systems
  TOYAMA, Yoshihito (1984-02)
  数理解析研究所講究録, 511: 74-96
file type icon
ロボットのソフトウェア : tutorial(ソフトウェア科学・工学の数理的方法)
  塚本, 享治, 末広, 尚士 (1984-02)
  数理解析研究所講究録, 511: 97-119
file type icon
Analysis and transformation of concurrent processes connected by streams
  Kuse, Kazushi, Sassa, Masataka, Nakata, Ikuo (1984-02)
  数理解析研究所講究録, 511: 120-143
file type icon
A Portable Logic Simulation System
  Shimizu, Kentaro (1984-02)
  数理解析研究所講究録, 511: 144-155
file type icon
自然言語の意味論 : 概説(ソフトウェア科学・工学の数理的方法)
  郡司, 隆男 (1984-02)
  数理解析研究所講究録, 511: 156-168
file type icon
Partial Computation with a Dataflow Machine
  ONO, Satoshi, TAKAHASHI, Naohisa, AMAMIYA, Makoto (1984-02)
  数理解析研究所講究録, 511: 169-203
file type icon
OR-Parallel Optimizing Prolog System : POPS Its design and implementation in Concurrent Prolog
  Hirakawa, Hideki, Onai, Rikio, Furukawa, Kohichi (1984-02)
  数理解析研究所講究録, 511: 204-222
file type icon
  Sakai, K., Miyachi, T. (1984-02)
  数理解析研究所講究録, 511: 223-241
file type icon
The Temporal Semantics of Logic Programming
  Yonezaki, Naoki (1984-02)
  数理解析研究所講究録, 511: 242-258
file type icon
Foundation of Logic Programming Based on Inductive Definition
  Hagiya, Masami, Sakurai, Takafumi (1984-02)
  数理解析研究所講究録, 511: 259-273
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14