Kyoto University · Graduate School of Informatics

Research keywordsequational theories・homological algebra・program analysis・separation logic・cyclic proofs・size-change termination・rewrite rules・B-combinators

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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),

• Official profile