Church-Rosser Property and Unique Normal Form Property of Non-duplicating Term Rewriting Systems

• TOYAMA Y.

収録刊行物

• LA Symposium (Winter)

  LA Symposium (Winter) 1993

詳細情報

• CRID: 1574231873787117056
• NII論文ID: 10000034259
• データソース種別:
  • CiNii Articles