制約付き項書換え系における木準同型写像を用いた関数等価性検証  [in Japanese] Verification of Equivalence between Functions in Constrained Term Rewriting Systems via Tree Homomorphisms  [in Japanese]

Search this Article

Journal

  • 日本ソフトウェア科学会大会論文集

    日本ソフトウェア科学会大会論文集 28, 1-12, 2011-09-27

    [日本ソフトウェア科学会]

Codes

  • NII Article ID (NAID)
    40020660897
  • NII NACSIS-CAT ID (NCID)
    AN10158574
  • Text Lang
    JPN
  • ISSN
    0913-5391
  • NDL Article ID
    026948805
  • NDL Call No.
    Z14-1245
  • Data Source
    NDL 
Page Top