Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 11-20 / 25.

前
1
2
3
次

検索結果:

書誌情報	ファイル
Analysis of Completeness of Laboratory Assignment Algorithm by Rewrite Systems Theory(Theory of Rewriting Systems and Its Applications) NOTO, Masato; KURIHARA, Masahito; OHUCHI, Azuma (1995-08) 数理解析研究所講究録, 918: 48-57
Implementation of Conditional Term Rewriting Systems equipped with Meta-computation(Theory of Rewriting Systems and Its Applications) NUMAZAWA, Masanobu; KURIHARA, Masahito; OHUCHI, Azuma (1995-08) 数理解析研究所講究録, 918: 24-33
Completion for Multiple Reduction Orderings(Theory of Rewriting Systems and Its Applications) Kurihara, Masahito; Kondo, Hisashi; Ohuchi, Azuma (1995-08) 数理解析研究所講究録, 918: 34-47
Left-incompatible Term Rewriting Systems and its Normalizing Strategy(Theory of Rewriting Systems and Its Applications) Sakai, Masahiko (1995-08) 数理解析研究所講究録, 918: 16-23
表紙・目次 (1995-08) 数理解析研究所講究録, 918
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems(Theory of Rewriting Systems and Its Applications) Toyama, Yoshihito; Oyamaguchi, Michio (1995-08) 数理解析研究所講究録, 918: 139-149
Some Results on the CR property of non-E-overlapping and depth-preserving TRS's(Theory of Rewriting Systems and Its Applications) Oyamaguchi, Michio; Gomi, Hiroshi (1995-08) 数理解析研究所講究録, 918: 150-159
Fuzzy Graph Rewritings(Theory of Rewriting Systems and Its Applications) MORI, Masao; KAWAHARA, Yasuo (1995-08) 数理解析研究所講究録, 918: 65-71
Natural Deduction Systems for Intuitionistic Substructural Logics and their Strong Normalization(Theory of Rewriting Systems and Its Applications) Mouri, Motohiko (1995-08) 数理解析研究所講究録, 918: 196-205
A new proof of Chew's theorem(Theory of Rewriting Systems and Its Applications) Mano, Ken; Ogawa, Mizuhito (1995-08) 数理解析研究所講究録, 918: 160-177