Search Results1-2 of  2

  • 寺内 多智弘 ID: 9000241722174

    Articles in CiNii:1

    • Toward Verification of Hybrid System with Infinitesimal and Quantifier Elimination (2013)
  • 寺内 多智弘 ID: 9000406397431

    Articles in CiNii:1

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