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