Collection home page

Theory of Rewriting Systems and Its Applications   25
(http://hdl.handle.net/2433/59348)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 25
BibliographyContents
表紙・目次
   (1995-08)
  数理解析研究所講究録, 918
file type icon
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
file type icon
Left-incompatible Term Rewriting Systems and its Normalizing Strategy(Theory of Rewriting Systems and Its Applications)
  Sakai, Masahiko (1995-08)
  数理解析研究所講究録, 918: 16-23
file type icon
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
file type icon
Completion for Multiple Reduction Orderings(Theory of Rewriting Systems and Its Applications)
  Kurihara, Masahito, Kondo, Hisashi, Ohuchi, Azuma (1995-08)
  数理解析研究所講究録, 918: 34-47
file type icon
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
file type icon
Trees and Terms in Relational Graph Rewriting System(Theory of Rewriting Systems and Its Applications)
  MIZOGUCHI, Yoshihiro, KAWAHARA, Yasuo (1995-08)
  数理解析研究所講究録, 918: 58-64
file type icon
Fuzzy Graph Rewritings(Theory of Rewriting Systems and Its Applications)
  MORI, Masao, KAWAHARA, Yasuo (1995-08)
  数理解析研究所講究録, 918: 65-71
file type icon
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
file type icon
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
file type icon
Simple gap termination for term graph rewriting systems(Theory of Rewriting Systems and Its Applications)
  Ogawa, Mizuhito (1995-08)
  数理解析研究所講究録, 918: 99-108
file type icon
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
file type icon
Sequentiality, Second Order Monadic Logic and Tree Automata(Theory of Rewriting Systems and Its Applications)
  Comon, Hubert (1995-08)
  数理解析研究所講究録, 918: 118-138
file type icon
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
file type icon
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
file type icon
A new proof of Chew's theorem(Theory of Rewriting Systems and Its Applications)
  Mano, Ken, Ogawa, Mizuhito (1995-08)
  数理解析研究所講究録, 918: 160-177
file type icon
On embedding of classical substructural logics(Theory of Rewriting Systems and Its Applications)
  Fujita, Ken-etsu (1995-08)
  数理解析研究所講究録, 918: 178-195
file type icon
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
file type icon
Extracting a reduction system from a conjunction calculus(Theory of Rewriting Systems and Its Applications)
  Kumeta, Akefumi (1995-08)
  数理解析研究所講究録, 918: 206-223
file type icon
Non-Standard Recursion Theory(Theory of Rewriting Systems and Its Applications)q
  NAOI, Tohru (1995-08)
  数理解析研究所講究録, 918: 224-237
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 25