Mirai Ikebuchi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Anick resolutions for lawvere theories via algebraic discrete Morse theory Advances in Mathematics	2026-09-15	Paper
Cohomology of small Cartesian closed categories Journal of Pure and Applied Algebra	2026-04-15	Paper
Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory (available as arXiv preprint)	2026-01-01	Paper
Cyclic proofs and size-change termination Theoretical Computer Science	2025-06-02	Paper
Homological Invariants of Higher-Order Equational Theories (available as arXiv preprint)	2025-01-01	Paper
Cohomology of Small Cartesian Closed Categories (available as arXiv preprint)	2025-01-01	Paper
A Homological Condition on Equational Unifiability.	2023-08-08	Paper
A lower bound of the number of rewrite rules obtained by homological methods Logical Methods in Computer Science	2022-10-06	Paper
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods	2022-07-18	Paper
On repetitive right application of \(B\)-terms (available as arXiv preprint)	2021-06-15	Paper
On properties of \(B\)-terms (available as arXiv preprint)	2020-06-26	Paper
On properties of \(B\)-terms	2020-06-26	Paper

Research outcomes over time

This page was built for person: Mirai Ikebuchi