All 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 Other
All Journal Article Presentation
25th Workshop on Programming and Programming Languages (PPL2023)
Volume: 1 Pages: 1-15
12th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2023)
Volume: 1 Pages: 3-16
10.1145/3573105.3575691
第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
Volume: －
Lecture Notes in Computer Science, 14th International Conference on Mathematics of Program Construction (MPC 2022)
Volume: 13544 Pages: 151-177
10.1007/978-3-031-16912-0_6
The Coq Workshop 2021, July 2, 2021, Jul 2021
Journal of Functional Programming
Volume: 31
10.1017/s0956796821000137
26th International Conference on Types for Proofs and Programs (TYPES 2020), Leibniz International Proceedings in Informatics (LIPIcs)
Volume: 188
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
31st Journees Francophones des Langages Applicatifs (JFLA 2020)
Volume: 1 Pages: 23-30
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
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
Journal of Information Processing
Volume: 26 Issue: 0 Pages: 54-72
10.2197/ipsjjip.26.54
130006309263
Journal of Formalized Reasoning
Volume: 11 Pages: 43-76
10.6092/ISSN.1972-5787/8124
Volume: 34 Issue: 2 Pages: 2_64-2_74
10.11309/jssst.34.2_64
130006855229
Proceedings of the 18th JSSST Workshop on Programming and Programming Languages
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: 1 Pages: 306-307
Volume: 紙版、印刷中 Issue: 1 Pages: 63-103
10.1007/s10817-013-9298-1
Volume: 7(1) Pages: 63-104
10.6092/issn.1972-5787/4317
Proceeding of International Symposium on Information Theory and its Applications
Volume: 1 Pages: 201-205
情報処理
Volume: 55 Pages: 482-491
Innovations in Systems and Software Engineering
Volume: 9(2) Issue: 2 Pages: 59-77
10.1007/s11334-013-0195-x
Math-for-Industry Lecture
Volume: 44 Pages: 86-94
Proc. of the 3^<rd> Conference on Interactive Theorem Proving, Lecture Notes in Computer Science Springer
Volume: 7406巻 Pages: 16-16
http://staff.aist.go.jp/reynald.affeldt/bib.html
Science of Computer Programming
Volume: (印刷中)
3rd International Conference on Interactive Theorem Proving
Volume: (記載確定)
Volume: 7406 Pages: 233-249
10.1007/978-3-642-32347-8_16
27th ACM SIGAPP Symposium On Applied Computing
Volume: 2 Pages: 1326-1331
Science of Computer Programming Elsevier
Volume: 77巻, 10-11号 Issue: 10-11 Pages: 1058-1074
10.1016/j.scico.2011.07.003
Proc. of the 27th ACM SIGAPP Symposium On Applied Computing
Volume: 2巻 Pages: 1326-1331
10.1145/2245276.2231986
日本ソフトウェア科学会第28回大会講演論文集
Pages: 16-16
40020658563
日本応用数理学会2009年度年会講演予稿集
Pages: 377-378
Science of Computer Programming, Elsevier
第12回プログラミングおよびプログラミング言語ワークショップ論文集,日本ソフトウェア科学会
Pages: 1-15
Electronic Communications of the EASST 23
第12回プログラミングおよびプログラミング言語ワークショップ論文集
Electronic Communications of the EASST
Volume: 23巻 Pages: 15-15
http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/316
Pages: 53-54
