京都大学 · 数理解析研究所 · 助教

研究キーワードhigher order fixpoint logic・cyclic proof systems・coalgebraic verification・property directed reachability・initial algebras・final coalgebras・lattice theory

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• A Cyclic Proof System for HFL_ℕ.29th EACSL Annual Conference on Computer Science Logic(CSL),
• The Lattice-Theoretic Essence of Property Directed Reachability Analysis.Computer Aided Verification - 34th International Conference,
• A No-go Theorem for Coalgebraic Product Construction.FoSSaCS,
• Initial Algebra Correspondence under Reachability Conditions.LICS,

• 公式プロフィール