Search Results1-3 of  3

  • 中澤 巧爾 ID: 9000311512256

    Articles in CiNii:3

    • Combinators for Streams (2011)
    • Semi-automated Entailment Checker by Cyclic Proofs for Separation Logic with Inductive Predicates (2016)
    • Church-Rosser Theorem and Compositional Z-Property (2016)
  • 中澤 巧爾 ID: 9000406397430

    Articles in CiNii:1

    • PPL2019 : Failure of Cut-Elimination in Cyclic Proofs of Separation Logic (2020)
  • NAKAZAWA Koji ID: 9000404494496

    Nagoya University (2019 from CiNii)

    Articles in CiNii:1

    • Introduction to FLOPS2018. (2019)
Page Top