すべて 2023 2022 2021
すべて 雑誌論文 学会発表
Journal of Logical and Algebraic Methods in Programming
巻: 127 ページ: 100760-100760
10.1016/j.jlamp.2022.100760
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic
巻: 216
