室屋 晃子
Koko Muroya
更新日: 01/31
論文
9
表示件数
-
CoRR abs/2307.15261 2023年
-
The Art, Science, and Engineering of Programming 5(3) 2021年2月28日 査読有り
-
Logical Methods in Computer Science 15(4) 2019年10月 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10818 84-98 2018年 査読有り
-
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 749-758 2018年 査読有り
-
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. 52-66 2017年 査読有り
-
26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden 32:1-32:15 2017年 査読有り
-
ACM SIGPLAN NOTICES 51(1) 748-760 2016年1月 査読有り
-
Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014 52:1-52:10 2014年 査読有り