Mirai Ikebuchi

13 papers A* 1B 3Journal 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cyclic proofs and size-change termination.
Theor. Comput. Sci.
Mirai Ikebuchi
2025 A* conf
Homological Invariants of Higher-Order Equational Theories.
LICS
Mirai Ikebuchi
2025 J jnl
Homological Invariants of Higher-Order Equational Theories.
CoRR
Mirai Ikebuchi
2022 J jnl
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.
Log. Methods Comput. Sci.
Mirai Ikebuchi
2022 — —
Applications of Homological Algebra to Equational Theories.
Mirai Ikebuchi
2022 J jnl
Certifying derivation of state machines from coroutines.
Proc. ACM Program. Lang.
Mirai Ikebuchi, Andres Erbsen, Adam Chlipala
2021 B conf
A Homological Condition on Equational Unifiability.
MFCS
Mirai Ikebuchi
2020 J jnl
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.
CoRR
Mirai Ikebuchi
2020 J jnl
On properties of B-terms.
Log. Methods Comput. Sci.
Mirai Ikebuchi, Keisuke Nakano
2019 B conf
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.
FSCD
Mirai Ikebuchi
2019 J jnl
On properties of B-terms.
CoRR
Mirai Ikebuchi, Keisuke Nakano
2018 B conf
On Repetitive Right Application of B-Terms.
FSCD
Mirai Ikebuchi, Keisuke Nakano
2017 J jnl
On repetitive right application of B-terms.
CoRR
Mirai Ikebuchi, Keisuke Nakano