菊池 健太郎
キクチ ケンタロウ (Kentaro Kikuchi)
更新日: 02/01
論文
41
表示件数
-
Proceedings of the 19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022) LNCS 13572 255-271 2022年 査読有り
-
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) LIPIcs 213 49:1-49:15 2021年 査読有り
-
Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021) LNCS 12819 386-404 2021年 査読有り
-
Proceedings of the 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) LNCS 12561 56-73 2021年 査読有り
-
Proceedings of the 9th International Workshop on Confluence (IWC 2020) 81-81 2020年6月
-
Sci. Comput. Program. 187 102322-102322 2020年 査読有り
-
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019, Porto, Portugal, October 7-9, 2019. 13:1-13:14 2019年 査読有り
-
Proceedings of the 7th International Workshop on Confluence (IWC 2018) 70-70 2018年7月
-
Proceedings of the 6th International Workshop on Confluence (IWC 2017) 70-70 2017年9月8日
-
Participant's Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017) 2017年9月8日 査読有り
-
Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) LNAI 10483 115-131 2017年 査読有り
-
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 76-76 2016年9月8日
-
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 87-87 2016年9月8日
-
Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016) 2016年6月25日 査読有り
-
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science (SCSS 2016) EPiC 39 156-168 2016年3月27日 査読有り
-
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016) LNAI 9706 173-182 2016年 査読有り
-
Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015) LNCS 9527 331-345 2015年12月 査読有り
-
Proceedings of the 4th International Workshop on Confluence (IWC 2015) 39-39 2015年8月2日
-
Proceedings of the 4th International Workshop on Confluence (IWC 2015) 48-48 2015年8月2日
-
Participant's Proceedings of the 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015) 3-7 2015年7月2日 査読有り