Abstract is missing.
- Metis: A Term Rewriting System Generator: An Inference Engine for Equations and InequationsAkihiko Ohsuga, Kô Sakai. 1-15 [doi]
- A Regulated Accumulating Array Grammar and Its Application on a Process Assignment Problem for a Parallel ComputingTaishin Y. Nishida. 16-38 [doi]
- An Algebraic Method For Verifying Progress Property of Communication ProtocolsTeruo Higashino, Kenichi Taniguchi, Tadao Kasami, Mamoru Fujii, Masaaki Mori. 39-59 [doi]
- On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/Hiroyuki Seki, Kenichi Taniguchi, Tadao Kasami. 60-77 [doi]
- Dataflow Computing Mechanism For Logic Program and Extraction of Functional from ItSusumu Yamasaki. 78-97 [doi]
- Top-down Zooming Diagnosis of Logic ProgramsMachi Ueno, Tadashi Kanamori. 98-129 [doi]
- Object-Oriented Approach to Discourse UnderstandingChisato Numaoka, Tadashi Nagano, Mario Tokoro. 130-144 [doi]
- Negation Technique for Context-Free GrammarsYoshiyuki Yamashita, Ikuo Nakata. 145-163 [doi]
- Potential of General-Purpose Reasoning Assistant System EUODHILOSHajime Sawamura, Toshiro Minami, Kaoru Yokota, Kyoko Ohashi. 164-188 [doi]
- Relevance Logic and Entailment LogicJingde Cheng. 189-211 [doi]
- Distributed Garbage Collection Using Group Reference CountingYuuji Ichisugi, Akinori Yonezawa. 212-226 [doi]
- Completeness of Depth-bounded Resolution for Weakly Reducing ProgramsHiroki Arimura. 227-245 [doi]