Mirai Ikebuchi
From MaRDI portal
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 |
| Cyclic proofs and size-change termination Theoretical Computer Science | 2025-06-02 | 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
