書誌情報 | ファイル |
表紙・目次 (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
| |