すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 その他
すべて 雑誌論文 学会発表
35st Journees Francophones des Langages Applicatifs (JFLA 2024), Saint-Jacut-de-la-Mer, France, January 30--February 2
巻: 1 ページ: 300-304
Computer Software
巻: 41(2)
25th Workshop on Programming and Programming Languages (PPL2023)
巻: 1 ページ: 1-15
arXiv
巻: 2312 ページ: 1-38
12th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2023)
巻: 1 ページ: 3-16
10.1145/3573105.3575691
21st Asian Symposium on Programming Languages and Systems (APLAS 2023), Taipei, Taiwan, November 26--29, 2023, Lecture Notes in Computer Science, Springer
巻: 14405 ページ: 182-202
10.1007/978-981-99-8311-7_9
The Coq Workshop 2023, Bialystok, Poland, July 31, 2023
巻: 1
Journal of Automated Reasoning
巻: 67(3) 号: 3
10.1007/s10817-023-09671-5
The Workshop on Type-Driven Development (TyDe 2023), Seattle, Washington, United States, September 4, 2023
第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
巻: －
Lecture Notes in Computer Science, 14th International Conference on Mathematics of Program Construction (MPC 2022)
巻: 13544 ページ: 151-177
10.1007/978-3-031-16912-0_6
The Coq Workshop 2021, July 2, 2021, Jul 2021
Journal of Functional Programming
巻: 31
10.1017/s0956796821000137
26th International Conference on Types for Proofs and Programs (TYPES 2020), Leibniz International Proceedings in Informatics (LIPIcs)
巻: 188
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
31st Journees Francophones des Langages Applicatifs (JFLA 2020)
巻: 1 ページ: 23-30
巻: 37(3) ページ: 79-95
130007906562
巻: 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
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
Journal of Information Processing
巻: 26 号: 0 ページ: 54-72
10.2197/ipsjjip.26.54
130006309263
Journal of Formalized Reasoning
巻: 11 ページ: 43-76
10.6092/ISSN.1972-5787/8124
コンピュータ ソフトウェア
巻: 34 号: 2 ページ: 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
巻: 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 ページ: 306-307
巻: 紙版、印刷中 号: 1 ページ: 63-103
10.1007/s10817-013-9298-1
巻: 7(1) ページ: 63-104
10.6092/issn.1972-5787/4317
Proceeding of International Symposium on Information Theory and its Applications
巻: 1 ページ: 201-205
情報処理
巻: 55 ページ: 482-491
Innovations in Systems and Software Engineering
巻: 9(2) 号: 2 ページ: 59-77
10.1007/s11334-013-0195-x
Math-for-Industry Lecture
巻: 44 ページ: 86-94
Proc. of the 3^<rd> Conference on Interactive Theorem Proving, Lecture Notes in Computer Science Springer
巻: 7406巻 ページ: 16-16
http://staff.aist.go.jp/reynald.affeldt/bib.html
Science of Computer Programming
巻: (印刷中)
3rd International Conference on Interactive Theorem Proving
巻: (記載確定)
巻: 7406 ページ: 233-249
10.1007/978-3-642-32347-8_16
27th ACM SIGAPP Symposium On Applied Computing
巻: 2 ページ: 1326-1331
Science of Computer Programming Elsevier
巻: 77巻, 10-11号 号: 10-11 ページ: 1058-1074
10.1016/j.scico.2011.07.003
Proc. of the 27th ACM SIGAPP Symposium On Applied Computing
巻: 2巻 ページ: 1326-1331
10.1145/2245276.2231986
日本ソフトウェア科学会第28回大会講演論文集
ページ: 16-16
40020658563
日本応用数理学会2009年度年会講演予稿集
ページ: 377-378
Science of Computer Programming, Elsevier
第12回プログラミングおよびプログラミング言語ワークショップ論文集,日本ソフトウェア科学会
ページ: 1-15
Electronic Communications of the EASST 23
第12回プログラミングおよびプログラミング言語ワークショップ論文集
Electronic Communications of the EASST
巻: 23巻 ページ: 15-15
http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/316
ページ: 53-54
