年別の研究成果
年別の研究成果
フィンガープリント
Kentaro Kikuchiが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
過去5年の共同研究と上位研究分野
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting
Kikuchi, K., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 255-271 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13572 LNCS).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
-
A Proof Method for Local Sufficient Completeness of Term Rewriting Systems
Shiraishi, T., Kikuchi, K. & Aoto, T., 2021, Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Proceedings. Cerone, A. & Olveczky, P. C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 386-404 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12819 LNCS).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
1 被引用数 (Scopus) -
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables
Kikuchi, K. & Aoto, T., 2021, Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Proceedings. Fernández, M. (ed.). Springer Science and Business Media Deutschland GmbH, p. 56-73 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12561 LNCS).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
-
Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems
Kikuchi, K. & Aoto, T., 2021 12月 1, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021. Bojanczyk, M. & Chekuri, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 213).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
2 被引用数 (Scopus) -
Polymorphic computation systems: Theory and practice of confluence with call-by-value
Hamana, M., Abe, T. & Kikuchi, K., 2020 2月 15, In: Science of Computer Programming. 187, 102322.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
4 被引用数 (Scopus)