菊池 健太郎  KIKUCHI Kentaro

Proceedings of the 19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022)

巻: 13572 ページ: 255-271

10.1007/978-3-031-17715-6_17

Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021)

巻: 12819 ページ: 386-404

10.1007/978-3-030-85315-0_22

Proceedings of the 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020)

巻: 12561 ページ: 56-73

10.1007/978-3-030-68446-4_3

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)

巻: 213

Proceedings of the 9th International Workshop on Confluence

巻: IWC 2020 ページ: 81-81

Science of Computer Programming

巻: 187 ページ: 102322-102322

10.1016/j.scico.2019.102322

第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集

巻: 22

Proceedings of the 9th International Workshop on Confluence (IWC 2020)

巻: － ページ: 81-81

Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)

巻: 21 ページ: 1-14

10.1145/3354166.3354178

Proceedings of the 7th International Workshop on Confluence (IWC 2018)

巻: － ページ: 70-70

Preproceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017)

巻: -

Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)

巻: 10483 ページ: 115-131

10.1007/978-3-319-66167-4_7

Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016)

巻: －

Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)

巻: 9706 ページ: 173-182

10.1007/978-3-319-40229-1_12

Proceedings of the 1st International Workshop on Classical Logic and Computation

ページ: 18-18

Lecture Notes in Computer Science Vol. 4246

ページ: 120-134

Lecture Notes in Computer Science Vol.2998

ページ: 244-259