書誌情報	ファイル
表紙・目次    (1995-08)   数理解析研究所講究録, 918
Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides(Theory of Rewriting Systems and Its Applications)   Suzuki, Taro; Middeldorp, Aart; Ida, Tetsuo (1995-08)   数理解析研究所講究録, 918: 1-15
Left-incompatible Term Rewriting Systems and its Normalizing Strategy(Theory of Rewriting Systems and Its Applications)   Sakai, Masahiko (1995-08)   数理解析研究所講究録, 918: 16-23
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
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
Trees and Terms in Relational Graph Rewriting System(Theory of Rewriting Systems and Its Applications)   MIZOGUCHI, Yoshihiro; KAWAHARA, Yasuo (1995-08)   数理解析研究所講究録, 918: 58-64
Fuzzy Graph Rewritings(Theory of Rewriting Systems and Its Applications)   MORI, Masao; KAWAHARA, Yasuo (1995-08)   数理解析研究所講究録, 918: 65-71
Protocol Synthesis from Service Specifications Described by Graph Rewriting Rules(Theory of Rewriting Systems and Its Applications)   Takura, Akira; Sera, Takafumi; Ohta, Tadashi (1995-08)   数理解析研究所講究録, 918: 72-84
Transforming Termination by Self-Labelling(Theory of Rewriting Systems and Its Applications)   Ferreira, Maria C.F.; Middeldorp. Aart; Ohsaki, Hitoshi; Zantema, Hans (1995-08)   数理解析研究所講究録, 918: 85-98
Simple gap termination for term graph rewriting systems(Theory of Rewriting Systems and Its Applications)   Ogawa, Mizuhito (1995-08)   数理解析研究所講究録, 918: 99-108
NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)   Nagaya, Takashi; Sakai, Masahiko; Toyama, Yoshihito (1995-08)   数理解析研究所講究録, 918: 109-117
Sequentiality, Second Order Monadic Logic and Tree Automata(Theory of Rewriting Systems and Its Applications)   Comon, Hubert (1995-08)   数理解析研究所講究録, 918: 118-138
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
A new proof of Chew's theorem(Theory of Rewriting Systems and Its Applications)   Mano, Ken; Ogawa, Mizuhito (1995-08)   数理解析研究所講究録, 918: 160-177
On embedding of classical substructural logics(Theory of Rewriting Systems and Its Applications)   Fujita, Ken-etsu (1995-08)   数理解析研究所講究録, 918: 178-195
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
Extracting a reduction system from a conjunction calculus(Theory of Rewriting Systems and Its Applications)   Kumeta, Akefumi (1995-08)   数理解析研究所講究録, 918: 206-223
Non-Standard Recursion Theory(Theory of Rewriting Systems and Its Applications)q   NAOI, Tohru (1995-08)   数理解析研究所講究録, 918: 224-237