Collection home page

Mathematical Methods in Software Science and Engineering   17
(http://hdl.handle.net/2433/98134)

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