京都大学 · 情報学研究科

研究キーワードequational theories・homological algebra・program analysis・separation logic・cyclic proofs・size-change termination・rewrite rules・B-combinators

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

• Applications of Homological Algebra to Equational Theories.2022 · 2022年
• A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.CoRR,
• Cyclic proofs and size-change termination.Theor. Comput. Sci.,
• On Repetitive Right Application of B-Terms.3rd International Conference on Formal Structures for Computation and Deduction(FSCD),

• 公式プロフィール