すべて 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
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction
巻: 84
コンピュータ ソフトウェア
巻: 33 号: 3 ページ: 93-107
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
巻: 39 ページ: 156-168
Proceedings of 7th SCSS
Leibniz International Proceedings in Informatics
コンピュータソフトウェア
巻: Vol.32 ページ: 179-193
巻: 36 ページ: 301-317
Proceedings of 25th LOPSTR
巻: 9527 ページ: 331-345
巻: Vol.36 ページ: 301-317
Lecture Notes in Computer Science
巻: Vol.9527 ページ: 331-345
Proceedings of 26th RTA
巻: 32 ページ: 179-193
巻: 31 ページ: 294-306
巻: 8560 ページ: 46-60
巻: 31 ページ: 75-89
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
巻: Vol.30,No.1 ページ: 187-202
巻: Vol.30, No.3 ページ: 148-162
第15回プログラミングおよびプログラミング言語ワークショップ論文集
巻: Vol.30, No.1 ページ: 187-202
巻: Vol.129-1 ページ: 176-176
巻: Vol.29,No.1 ページ: 176-190
Logical Methods in Computer Science
巻: Vol.8, No.1:31 ページ: 1-29
巻: 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
ページ: 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
巻: 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
ページ: 76-92
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
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
Proc.of the 7th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
ページ: 59-69