Mirai Ikebuchi

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 9

Top Topics

Top Venues

Log. Methods Comput. Sci.

Proc. ACM Program. Lang.

Publications

Mirai Ikebuchi, Andres Erbsen, Adam Chlipala
Certifying derivation of state machines from coroutines. Proc. ACM Program. Lang. 6 (POPL) (2022)
Mirai Ikebuchi
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods. Log. Methods Comput. Sci. 18 (3) (2022)
Mirai Ikebuchi
A Homological Condition on Equational Unifiability. MFCS (2021)
Mirai Ikebuchi
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods. CoRR (2020)
Mirai Ikebuchi, Keisuke Nakano
On properties of B-terms. Log. Methods Comput. Sci. 16 (2) (2020)
Mirai Ikebuchi
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods. FSCD (2019)
Mirai Ikebuchi, Keisuke Nakano
On properties of B-terms. CoRR (2019)
Mirai Ikebuchi, Keisuke Nakano
On Repetitive Right Application of B-Terms. FSCD (2018)
Mirai Ikebuchi, Keisuke Nakano
On repetitive right application of B-terms. CoRR (2017)