中野 圭介  Nakano Keisuke

arXiv

巻: 2307 ページ: 1-28

Science of Computer Programming

巻: 215 ページ: 102748-102748

10.1016/j.scico.2021.102748

Theoretical Computer Science (published online first)

巻: N/A

Mathematical Foundations of Computer Science

巻: 46

Mathematical Foundations of Computer Science

巻: 46

Theoretical Computer Science

巻: 870 ページ: 165-187

10.1016/j.tcs.2020.12.033

Reversible Computation

巻: 13 ページ: 185-203

10.1007/978-3-030-79837-6_11

Lecture Notes in Computer Science book series (LNCS)

巻: 12227 ページ: 54-70

10.1007/978-3-030-52482-1_3

Logical Methods in Computer Science

巻: 16 (2)

Lecture Note in Computer Science

巻: 11601 ページ: 235-247

10.1007/978-3-030-23679-3_19

BigComp 2019

巻: - ページ: 1-5

10.1109/bigcomp.2019.8679145

Proceedings of the Third Workshop on Software Foundations for Data Interoperability

巻: 3 ページ: 1-6

BigComp 2019

巻: - ページ: 1-5

10.1109/bigcomp.2019.8679236

コンピュータ ソフトウェア

巻: 35 号: 4 ページ: 52-71

10.11309/jssst.35.52

130007552516

Proc. of the Coq Workshop 2018

巻: 1 ページ: 1-2

International Conference on Formal Structures for Computation and Deduction (FSCD 2018)

巻: 3

10.4230/LIPIcs.FSCD.2018.18

Journal of Information Processing

巻: 25 号: 0 ページ: 962-974

10.2197/ipsjjip.25.962

130006250672

CEUR Workshop Proceedings

巻: 1827 ページ: 31-38

30th IEEE International Conference on Data Engineering

巻: 30 ページ: 952-963

10.1109/icde.2014.6816714

Proceedings of 30th International Conference on Data Engineering

巻: 30 ページ: 952-963

Mathematical Structures in Computer Science

巻: online 号: 4 ページ: 916-941

10.1017/s096012951300008x

Mathematical Structures in Computer Science

巻: 未定

Proceedings of 18th ACM SIGPLAN International Conference on Functional Programming

巻: 48 (9) ページ: 305-318

10.1145/2500365.2500608

Progress in Informatics

巻: 10

Higher-Order and Symbolic Computation

巻: Volume 25, Issue 1 号: 1 ページ: 3-38

10.1007/s10990-013-9097-8

Progress in Informatics

巻: Vol. 10 ページ: 131-148

Mathematical Structures in Computer Science (MSCS)

巻: Vol. 23

Journal of Functional Programming

巻: 23(2) 号: 2 ページ: 161-173

10.1017/s0956796812000391

第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)論文集

Proceedings of 15th International Symposium on Principles and Practice of Declarative Programming

巻: 15 ページ: 73-84

10.1145/2505879.2505903

Progress in Informatics

巻: No.10 号: 10 ページ: 131-148

10.2201/niipi.2013.10.7

コンピュータソフトウェア

巻: (印刷中)(掲載確定)

130004549266

Programs and Proofs

ページ: 160-172

10.1007/978-3-642-35308-6_14

コンピュータソフトウェア

巻: 29 (2) ページ: 174-192

130004549266

In Proceedings of ACM SIGPLAN Partial Evaluation and Program Manipulation

ページ: 5-14

10.1145/2103746.2103752

コンピュータソフトウエア

巻: 29巻2号 ページ: 174-192

130004549266

In Selected/revised papers from 21st International Symposium Logic-Based Program Synthesis and Transformation

巻: Vol.7225 ページ: 123-138

10.1007/978-3-642-32211-2_9

コンピュータ ソフトウェア

巻: 29 号: 2 ページ: 2_174-2_192

10.11309/jssst.29.2_174

130004549266

In Proceedings of13th international ACM SIGPLAN symposium on Principles and practices of declarative programming

ページ: 17-28

10.1145/2003476.2003482

コンピュータソフトウェア

巻: 29巻2号 ページ: 74-191

130004549266

プログラミングおよびプログラミング言語ワークショップ予稿集

巻: 13 ページ: 146-160

130004549266

In Proceedings of 4th International Conference on Theory and Practice of Model Transformations

ページ: 138-151

10.1007/978-3-642-21732-6_10

ACM SIGPLAN Notices-ICFP'10

巻: 45-9 ページ: 205-216

In Proceedings of15th ACM SIGPLAN International Conference on Functional Programming

ページ: 205-216

10.1145/1863543.1863573

Lecture Notes in Computer Science-APLAS'10

巻: 6461 ページ: 255-270

In Proceedings of 8th Asian Symposium on Programming Languages and Systems

ページ: 255-270

10.1007/978-3-642-17164-2_18

Mathematical Structures in Computer Science (MSCS), Cambridge University Press

巻: (掲載確定)