すべて 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2005 2004 2002 その他
すべて 雑誌論文 学会発表
Proceedings of the 11th International Symposium on Frontiers of Combining Systems
巻: 10483 ページ: 115-131
10.1007/978-3-319-66167-4_7
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction
巻: 84
10.4230/LIPIcs.FSCD.2017.7
コンピュータ ソフトウェア
巻: 33 号: 3 ページ: 93-107
10.11309/jssst.33.3_93
130005256734
EPiC Series in Computing
巻: Vol.39 ページ: 156-168
In Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, Porto, Portugal
巻: 52
10.4230/LIPIcs.FSCD.2016.33
巻: 39 ページ: 156-168
Proceedings of 7th SCSS
Leibniz International Proceedings in Informatics
コンピュータソフトウェア
巻: Vol.32 ページ: 179-193
130004892317
巻: 36 ページ: 301-317
Proceedings of 25th LOPSTR
巻: 9527 ページ: 331-345
10.1007/978-3-319-27436-2_20
巻: Vol.36 ページ: 301-317
Lecture Notes in Computer Science
巻: Vol.9527 ページ: 331-345
Proceedings of 26th RTA
10.4230/LIPIcs.RTA.2015.301
巻: 32 ページ: 179-193
巻: 31 ページ: 294-306
130004688287
巻: 8560 ページ: 46-60
巻: 31 ページ: 75-89
130004549336
Proceedings of Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014)
巻: LNCS 8560 ページ: 46-60
巻: Vol.31, No.1 ページ: 75-89
巻: Vol.31 ページ: 294-306
巻: 31 号: 1 ページ: 1_75-1_89
10.11309/jssst.31.1_75
巻: Vol.30,No.1 ページ: 187-202
130004549310
https://www.jstage.jst.go.jp/article/jssst/30/1/30_1_187/_article/-char/ja/
巻: Vol.30, No.3 ページ: 148-162
40020657296
第15回プログラミングおよびプログラミング言語ワークショップ論文集
巻: Vol.30, No.1 ページ: 187-202
巻: Vol.129-1 ページ: 176-176
130004549256
巻: Vol.29,No.1 ページ: 176-190
https://www.jstage.jst.go.jp/article/jssst/29/1/29_1_1_176/_article/-char/ja/
Logical Methods in Computer Science
巻: Vol.8, No.1:31 ページ: 1-29
http://www.lmcs-online.org/ojs/viewarticle.php?id=1099&layout=abstract
巻: Vol.29, No.1 ページ: 176-190
第14回プログラミングおよびプログラミング言語ワークショップ論文集
ページ: 153-167
ページ: 168-182
第13回プログラミングおよびプログラミング言語ワークショップ論文集
ページ: 84-98
Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
巻: Vol.10 ページ: 91-106
http://drops.dagstuhl.de/opus/volltexte/2011/3110/
ページ: 99-113
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
IEICE Transactions on Information and Systems
巻: Vol.E93-D, No.5 ページ: 963-973
10026815249
巻: Vol.E93-D,No.5 ページ: 963-973
IEICE Transactions on Information and Systems Vol.E93-D、No.5
ページ: 963-973
巻: Vol.E93-D ページ: 963-973
IEICE Transactions on Information and Systems, , Review existence
コンピュータソフトウェア Vol.26、No.2
ページ: 41-55
10025982372
ページ: 76-92
10025982412
LNCS Vol.5595
ページ: 93-102
In Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009) LNCS 5595
Brasilia, Brazil, Review existence
巻: LNCS5595 ページ: 93-102
コンピュータソフトウェア Vol.26, No.2
コンピュータソフトウェア 26
巻: Vol.26, No.2 ページ: 76-92
巻: Vol.26, No.2 ページ: 41-55
IPSJ Transactions on Programming Vol.49、No.SIG 1(PRO 35)
ページ: 14-27
130000022206
Hagenberg, Austria, Review existence
巻: LNCS5117 ページ: 381-391
Review existence
巻: Vol.2, No.1 ページ: 61-75
Lecture Notes in Computer Science Vol.5117
ページ: 381-391
International Journal of Software and Informatics Vol.2、No.1
ページ: 61-75
IPSJ Transactions on Programming 49
LNCS Vol.5117
International Journal of Software and Informatics Vol.2
情報技術レターズ 6
ページ: 31-34
第6回PPL論文集
ページ: 17-17
Lecture Notes in Computer Science 3838
ページ: 198-223
Lecture Notes in Computer Science 3467
ページ: 1-1
Information Technology Letters Vol.4
ページ: 5-8
Lecture Notes in Computer Science 3091
ページ: 40-54
Lecture Notes in Comput.Sci. Vol.3091
ページ: 269-284
Information and Computation Vol.178
ページ: 499-514
110000570827
Proc.of the 7th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
ページ: 59-69
