All 2024 2022 2021 2020 2019 2018 2017 2016 2006 2004
All Journal Article Presentation
Proceedings of the 19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022)
Volume: 13572 Pages: 255-271
10.1007/978-3-031-17715-6_17
Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021)
Volume: 12819 Pages: 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)
Volume: 12561 Pages: 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)
Volume: 213
Proceedings of the 9th International Workshop on Confluence
Volume: IWC 2020 Pages: 81-81
Science of Computer Programming
Volume: 187 Pages: 102322-102322
10.1016/j.scico.2019.102322
第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集
Volume: 22
Proceedings of the 9th International Workshop on Confluence (IWC 2020)
Volume: － Pages: 81-81
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)
Volume: 21 Pages: 1-14
10.1145/3354166.3354178
Proceedings of the 7th International Workshop on Confluence (IWC 2018)
Volume: － Pages: 70-70
Preproceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017)
Volume: -
Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)
Volume: 10483 Pages: 115-131
10.1007/978-3-319-66167-4_7
Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016)
Volume: －
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)
Volume: 9706 Pages: 173-182
10.1007/978-3-319-40229-1_12
Proceedings of the 1st International Workshop on Classical Logic and Computation
Pages: 18-18
Lecture Notes in Computer Science Vol. 4246
Pages: 120-134
Lecture Notes in Computer Science Vol.2998
Pages: 244-259
