Some Results on the CR property of non-E-overlapping and depth-preserving TRS's(Theory of Rewriting Systems and Its Applications)

この論文にアクセスする

この論文をさがす

著者

収録刊行物

  • 数理解析研究所講究録

    数理解析研究所講究録 0918, 150-159, 1995-08

    京都大学

被引用文献:  1件中 1-1件 を表示

各種コード

  • NII論文ID(NAID)
    110004720085
  • NII書誌ID(NCID)
    AN00061013
  • 本文言語コード
    ENG
  • 資料種別
    Departmental Bulletin Paper
  • ISSN
    1880-2818
  • データ提供元
    CJP引用  NII-ELS  IR 
ページトップへ