(特集 プログラミングおよびプログラミング言語) PPL2019 : Failure of Cut-Elimination in Cyclic Proofs of Separation Logic

Search this Article

Journal

  • コンピュータソフトウェア = Computer software

    コンピュータソフトウェア = Computer software 37(1), 39-52, 2020-02

    日本ソフトウェア科学会 ; 1984-

Codes

  • NII Article ID (NAID)
    40022162039
  • NII NACSIS-CAT ID (NCID)
    AN10075819
  • Text Lang
    ENG
  • ISSN
    0289-6540
  • NDL Article ID
    030263842
  • NDL Call No.
    Z14-1033
  • Data Source
    NDL 
Page Top