書誌情報	ファイル
表紙・目次    (1986-03)   数理解析研究所講究録, 586
Representation Theorems and Primitive Predicates for Logic Programs   YOKOMORI, Takashi (1986-03)   数理解析研究所講究録, 586: 1-17
COMPARISON AND IMPROVEMENT OF STRING MATCHING ALGORITHMS FOR JAPANESE TEXTS   YOON, Jeehee; TAKAGI, Toshihisa; USHIJIMA, Kazuo (1986-03)   数理解析研究所講究録, 586: 18-34
Programming Language Designs to Support Programming Methodologies   Hayashi, Tsunetoshi (1986-03)   数理解析研究所講究録, 586: 35-43
Optimization of Attribute Evaluation in ECLR-attributed Grammars   Ishizuka, Harushi; Sassa, Masataka; Nakata, Ikuo (1986-03)   数理解析研究所講究録, 586: 44-64
A simple realization of LR parsers for regular right part grammars   Sassa, Masataka; Nakata, Ikuo (1986-03)   数理解析研究所講究録, 586: 65-90
Practical Attribute Grammar Forms Allowing Continuations   MATSUDA, Hiroyuki (1986-03)   数理解析研究所講究録, 586: 91-111
Implementation of the High-level Parallel Programming Language Nano-2   HIRABARU, Masaki; ARAKI, Keijiro; SUEYOSHI, Toshinori; ARITA, Itsujiro (1986-03)   数理解析研究所講究録, 586: 112-133
On the concurrency and a yet another standard form of concurrent programs of Smalltalk-80   Doi, Norihisa; Segawa, Kiyoshi (1986-03)   数理解析研究所講究録, 586: 134-152
An Implementation Scheme for Relational Database Operation Systems based on Demand-Driven Pipeline Processing Concepts   KIYOKI, Yasushi; KATO, Kazuhiko; MASUDA, Takashi (1986-03)   数理解析研究所講究録, 586: 153-181
On the Description of the Communication Protocol HDLC in cHFP   Miyachi, Toshio; Katayama, Takuya (1986-03)   数理解析研究所講究録, 586: 182-195
Strategic Bug Location Method for Functional Programs   TAKAHASHI, Naohisa; ONO, Satoshi (1986-03)   数理解析研究所講究録, 586: 196-223
SINGLE QUEUE COMPILATION IN EXTENDED CONCURRENT PROLOG   Tanaka, Jiro; Kishishita, Makoto; Yokomori, Takashi (1986-03)   数理解析研究所講究録, 586: 224-247
線形計画の新解法について(コードとデザインを中心とした組合せ数学)   刀根, 薫 (1986-03)   数理解析研究所講究録, 586: 248-262
ON THE OPERATIONAL SEMANTICS OF GUARDED HORN CLAUSES   Ueda, Kazunori (1986-03)   数理解析研究所講究録, 586: 263-283
Computation by Meta-Unification with Constructors   KANAMORI, Tadashi (1986-03)   数理解析研究所講究録, 586: 284-304
Temporal Prolog   SAKURAGAWA, Takashi (1986-03)   数理解析研究所講究録, 586: 305-329