龍田 真
Makoto Tatsuta
更新日: 03/29
論文
92
表示件数
-
Computer Software 41(1) 1-18 2024年1月 査読有り
-
Journal of Logic and Computation 1-28 2023年12月 査読有り最終著者
-
ソフトウェア科学会第39回全国大会論文集 1-12 2023年8月 筆頭著者
-
Proceedings of the 24th JSSST Workshop on Programming and Programming Languages (PPL2023) 1-15 2023年3月 査読有り筆頭著者
-
Proceedings of the 24st JSSST Workshop on Programming and Programming Languages (PPL2022) 1-16 2022年3月 査読有り最終著者
-
Logical Methods in Computer Science 17(2) 15:1-15:33 2021年12月 査読有り筆頭著者
-
Lecture Notes in Computer Science 13008 23-37 2021年10月 査読有り最終著者責任著者
-
コンピュータ ソフトウェア 37(1) 1_125-1_144 2020年 査読有り責任著者
-
Explicit Induction is Not Equivalent to Cyclic Proofs for Classical Logic with Inductive Definitions15(3) 1-25 2019年8月 査読有り筆頭著者
-
Information and Computation 267 1-27 2019年8月 査読有り筆頭著者
-
Proceedings of the 21st JSSST Workshop on Programming and Programming Languages (PPL2019) 1-28 2019年3月 査読有り
-
Lecture Notes in Computer Science 11893 367-387 2019年 査読有り筆頭著者
-
Proceedings of 1st Workshop on Automated Deduction for Separation Logics (ADSL 2018) 19 pages 2018年7月 査読有り
-
Lecture Notes in Computer Science 11202 13-33 2018年4月 査読有り
-
Proceedings of the 20th JSSST Workshop on Programming and Programming Languages (PPL2018) 1-16 2018年3月 査読有り
-
Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017 2018- 1012-1018 2018年1月12日 査読有り
-
CoRR abs/1804.03938 2018年 査読有り
-
CoRR abs/1802.05935 2018年 査読有り
-
Proceedings - Symposium on Logic in Computer Science 1-12 2017年8月8日 査読有り
-
Proceedings of the 19th JSSST Workshop on Programming and Programming Languages (PPL2017) 2017年3月 査読有り