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