Collection home page

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

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14
BibliographyContents
表紙・目次
   (1989-12)
  数理解析研究所講究録, 709
file type icon
数学的側面からみた状況理論(ソフトウェア科学・工学の数理的方法)
  向井, 国昭 (1989-12)
  数理解析研究所講究録, 709: 1-14
file type icon
A Parallel Algorithm for Inheritance Hierarchies with Constraints
  Menju, Satoshi, Itoh, Hidenori, Morita, Yukihiro (1989-12)
  数理解析研究所講究録, 709: 15-32
file type icon
Object-Oriented Approach to Discourse Understanding
  Numaoka, Chisato, Nagano, Tadashi, Tokoro, Mario (1989-12)
  数理解析研究所講究録, 709: 33-47
file type icon
Negation Technique for Context-Free Grammars
  YAMASHITA, Yoshiyuki, NAKATA, Ikuo (1989-12)
  数理解析研究所講究録, 709: 48-67
file type icon
Incremental Attribute Evaluation and Parsing Based on ECLR-attributed Grammars(extended abstract)
  Sassa, Masataka (1989-12)
  数理解析研究所講究録, 709: 68-100
file type icon
On the Finite Church-Rosser Property of Nonlinear Term Rewriting Systems(Preliminary report)
  OGAWA, Mizuhito, ONO, Satoshi (1989-12)
  数理解析研究所講究録, 709: 101-115
file type icon
A Denotational Model of Type Inheritance and Generics
  Tsuiki, Hideki (1989-12)
  数理解析研究所講究録, 709: 116-142
file type icon
Executable and formalized logic programming language based on time interval logic
  Nide, Naoyuki (1989-12)
  数理解析研究所講究録, 709: 143-165
file type icon
Potentials of General-Purpose Reasoning Assistant System EUODHILOS
  SAWAMURA, HAJIME, MINAMI, TOSHIRO (1989-12)
  数理解析研究所講究録, 709: 166-198
file type icon
Entailment as a Logical Basis for Deductive Reasoning
  CHENG, Jingde (1989-12)
  数理解析研究所講究録, 709: 199-220
file type icon
A Declarative Semantics of Parallel Logic Programs based on Failure/Deadlock Set
  Murakami, Masaki (1989-12)
  数理解析研究所講究録, 709: 221-234
file type icon
An Approach to Knowledge Representation using Multi-world Logic
  Oda, Mitsuru (1989-12)
  数理解析研究所講究録, 709: 235-246
file type icon
Expert System for Specification Process in Software Development System Pure TELL
  Saeki, Motoshi, Horai, Hisayuki, Enomoto, Hajime (1989-12)
  数理解析研究所講究録, 709: 247-265
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 14 of 14