Mirai Ikebuchi

According to our database, Mirai Ikebuchi authored at least 6 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Applications of Homological Algebra to Equational Theories.

Mirai Ikebuchi

PhD thesis, 2022

Certifying derivation of state machines from coroutines.

Mirai Ikebuchi, Andres Erbsen, Adam Chlipala

Proc. ACM Program. Lang., 2022

A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.

Mirai Ikebuchi

Log. Methods Comput. Sci., 2022

2021

A Homological Condition on Equational Unifiability.

Mirai Ikebuchi

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

On properties of B-terms.

Mirai Ikebuchi, Keisuke Nakano

Log. Methods Comput. Sci., 2020

2018

On Repetitive Right Application of B-Terms.

Mirai Ikebuchi, Keisuke Nakano

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018