池渕 未来

Cyclic proofs and size-change termination. 

Theor. Comput. Sci. 1045 115273-115273 2025年  

Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis 

コンピュータ ソフトウェア 41(1) 1_50-1_67 2024年1月25日  

Certifying derivation of state machines from coroutines. 

Proceedings of the ACM on Programming Languages 6(POPL) 1-31 2022年  

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

Logical Methods in Computer Science 18(3) 2022年  

Applications of Homological Algebra to Equational Theories. 

2022年  

A Homological Condition on Equational Unifiability. 

46th International Symposium on Mathematical Foundations of Computer Science(MFCS) 61-16 2021年  

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

CoRR abs/2002.11942 2020年  

On properties of B-terms. 

Logical Methods in Computer Science 16(2) 2020年  

On properties of B-terms. 

CoRR abs/1901.11010 2019年  

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

4th International Conference on Formal Structures for Computation and Deduction(FSCD) 24-17 2019年  

On Repetitive Right Application of B-Terms. 

3rd International Conference on Formal Structures for Computation and Deduction(FSCD) 18-15 2018年  

On repetitive right application of B-terms. 

CoRR abs/1703.10938 2017年