Search Results1-2 of  2

  • Terauchi Tachio ID: 9000403915447

    Articles in CiNii:1

    • Automating relatively complete verification of higher-order functional programs (2013)
  • TERAUCHI Tachio ID: 9000408570693

    Waseda University (2020 from CiNii)

    Articles in CiNii:1

    • Failure of Cut-Elimination in Cyclic Proofs of Separation Logic (2020)
Page Top