すべて 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2006 2005 2004 その他
すべて 雑誌論文 学会発表
arXiv
巻: 2312 ページ: 1-38
The Coq Workshop 2023, Bialystok, Poland, July 31, 2023
巻: 1
Journal of Functional Programming
巻: 31
10.1017/s0956796821000137
13th Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, Forli, Italy, July 26--31, 2020, Lecture Notes in Artificial Intelligence
巻: 12236 ページ: 23-38
10.1007/978-3-030-53518-6_2
Computer Software
巻: 37(3) ページ: 79-95
130007906562
Journal of Automated Reasoning
巻: TBD 号: 6 ページ: 1123-1164
10.1007/s10817-019-09538-8
10th International Joint Conference on Automated Reasoning (IJCAR 2020) LNAI
巻: 12167
10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June 29--July 6, 2020, Lecture Notes in Artificial Intelligence
巻: 12167 ページ: 3-20
10.1007/978-3-030-51054-1_1
13th Conference on Intelligent Computer Mathematics (CICM 2020) LNCS
巻: TBD
Journal of Information Processing
巻: 印刷中
21st Workshop on Programming and Programming Languages (PPL2019), Iwate-ken, Hanamaki-shi, March 6--8, 2019, JSSST
巻: 1 ページ: 1-16
10th International Conference on Interactive Theorem Proving (ITP 2019)
巻: N.A.
40022501257
International Symposium on Information Theory and Its Applications, Singapore, October 28--31, 2018, IEICE/IEEE Xplore
巻: 1 ページ: 665-669
10.23919/isita.2018.8664276
巻: 26 号: 0 ページ: 54-72
10.2197/ipsjjip.26.54
130006309263
Electronic Proceedings in Theoretical Computer Science
巻: 241 ページ: 23-35
10.4204/eptcs.241.2
Proceedings of the 18th JSSST Workshop on Programming and Programming Languages
巻: 1 ページ: 1-15
Lecture Notes in Computer Science
巻: 10009 ページ: 243-260
10.1007/978-3-319-47846-3_16
MI Lecture Note 研究集会 高信頼な理論と実装のための定理証明および定理証明器 (TPP2014), 九州大学, December 3--5, 2014
巻: 61 ページ: 76-78
Springer LNCS
巻: 9236 ページ: 17-33
10.1007/978-3-319-22102-1_2
巻: 紙版、印刷中 号: 1 ページ: 63-103
10.1007/s10817-013-9298-1
Mathematical Structures in Computer Science
巻: December issue
巻: to appear
APLAS 2013, Springer Verlag LNCS
巻: 2301 ページ: 257-272
10.1007/978-3-319-03542-0_19
第３６回情報理論とその応用シンポジウム予稿集
巻: 1 ページ: 163-168
Higher-Order and Symbolic Computation
巻: 24 号: 3 ページ: 207-237
10.1007/s10990-012-9083-6
ACM SIGPLAN Notices-OOPSLA'11
巻: (46)10 号: 10 ページ: 993-1012
10.1145/2076021.2048141
APLAS 2010, Shanghai, Springer-Verlag LNCS
巻: 6461 ページ: 360-375
Proceedings of the 11^<th> ACM SIGPLAN International Conference on Functional Programming
ページ: 74-86
Proceedings of the 4th Asian Symposium on Programming Languages and Systems. Springer-Verlag LNCS 4279
ページ: 44-60
International Workshop on Foundations of Object-Oriented Languages FOOL 12(印刷中)
International Symposium on Functional and Logic Programming (FLOPS) Springer LNCS 2998
ページ: 196-213
巻: (to appear)
