On the Church-Rosser Property of Non-E-overlapping and Weight-Preserving TRS's

• Gomi, Hiroshi

• Oyamaguchi, Michio

• Ohta, Yoshikatsu

Journal

• 数理解析研究所講究録

  数理解析研究所講究録 950 167-173, 1996-05

  京都大学数理解析研究所

Details

• CRID: 1050001201936707328
• NII Article ID: 110004675102
• NII Book ID: AN00061013
• ISSN: 18802818
• HANDLE: 2433/60324
• Text Lang: en
• Article Type: departmental bulletin paper
• Data Source:
  • IRDB
  • CiNii Articles