外山 芳人  TOYAMA Yoshihito

Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)

巻: 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

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

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

巻: 33 号: 3 ページ: 3_93-3_107

10.11309/jssst.33.3_93

130005256734

EPiC Series in Computing

巻: 39 ページ: 156-168

Proceedings of 7th SCSS

巻: 39 ページ: 156-168

Leibniz International Proceedings in Informatics

巻: 52

Leibniz International Proceedings in Informatics

巻: 52

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

巻: Vol.32 ページ: 179-193

130004892317

Leibniz International Proceedings in Informatics

巻: 36 ページ: 301-317

Proceedings of 25th LOPSTR

巻: 9527 ページ: 331-345

10.1007/978-3-319-27436-2_20

Leibniz International Proceedings in Informatics

巻: Vol.36 ページ: 301-317

Lecture Notes in Computer Science

巻: Vol.9527 ページ: 331-345

Lecture Notes in Computer Science

巻: 9527 ページ: 331-345

Proceedings of 26th RTA

巻: 36 ページ: 301-317

10.4230/LIPIcs.RTA.2015.301

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

巻: 32 ページ: 179-193

130004892317

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

巻: 31 ページ: 294-306

130004688287

Lecture Notes in Computer Science

巻: 8560 ページ: 46-60

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

巻: 31 号: 1 ページ: 1_75-1_89

10.11309/jssst.31.1_75

130004549336

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

巻: 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

130004549336

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

巻: Vol.31 ページ: 294-306

130004688287

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

巻: 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

130004549310

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

巻: Vol.30, No.3 ページ: 148-162

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

130004688287

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

巻: Vol.30, No.1 ページ: 187-202

130004549310

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

巻: Vol.129-1 ページ: 176-176

130004549256

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

巻: Vol.29,No.1 ページ: 176-190

130004549256

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.129-1 ページ: 176-176

130004549256

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

巻: Vol.29, No.1 ページ: 176-190

130004549256

第14回プログラミングおよびプログラミング言語ワークショップ論文集

ページ: 153-167

40020657296

Logical Methods in Computer Science

巻: Vol.8, No.1:31 ページ: 1-29

第14回プログラミングおよびプログラミング言語ワークショップ論文集

ページ: 168-182

130004549310

第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/

第13回プログラミングおよびプログラミング言語ワークショップ論文集

ページ: 99-113

130004549256

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)

巻: Vol.10 ページ: 91-106

IEICE Transactions on Information and Systems

巻: Vol.E93-D, No.5 ページ: 963-973

10026815249

IEICE Transactions on Information and Systems

巻: Vol.E93-D,No.5 ページ: 963-973

10026815249

IEICE Transactions on Information and Systems Vol.E93-D、No.5

ページ: 963-973

10026815249

IEICE Transactions on Information and Systems

巻: Vol.E93-D ページ: 963-973

10026815249

IEICE Transactions on Information and Systems, , Review existence

巻: Vol.E93-D, No.5 ページ: 963-973

10026815249

コンピュータソフトウェア Vol.26、No.2

ページ: 41-55

10025982372

コンピュータソフトウェア Vol.26、No.2

ページ: 76-92

10025982412

LNCS Vol.5595

ページ: 93-102

In Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009) LNCS 5595

ページ: 93-102

Brasilia, Brazil, Review existence

巻: LNCS5595 ページ: 93-102

コンピュータソフトウェア Vol.26, No.2

ページ: 76-92

10025982412

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

ページ: 76-92

10025982412

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

巻: Vol.26, No.2 ページ: 76-92

10025982412

コンピュータソフトウェア Vol.26, No.2

ページ: 41-55

10025982372

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

巻: Vol.26, No.2 ページ: 41-55

10025982372

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

ページ: 41-55

10025982372

IPSJ Transactions on Programming Vol.49、No.SIG 1(PRO 35)

ページ: 14-27

130000058178

Hagenberg, Austria, Review existence

巻: LNCS5117 ページ: 381-391

Review existence

巻: Vol.2, No.1 ページ: 61-75

Lecture Notes in Computer Science Vol.5117

ページ: 381-391

40022087286

International Journal of Software and Informatics Vol.2、No.1

ページ: 61-75

IPSJ Transactions on Programming 49

ページ: 14-27

130000058178

LNCS Vol.5117

ページ: 381-391

40022087286

International Journal of Software and Informatics Vol.2

ページ: 61-75

情報技術レターズ 6

ページ: 31-34

第6回PPL論文集

ページ: 17-17

Lecture Notes in Computer Science 3838

ページ: 198-223

第6回PPL論文集

ページ: 17-17

Lecture Notes in Computer Science 3467

ページ: 1-1

Information Technology Letters Vol.4

ページ: 5-8

Lecture Notes in Computer Science 3467

ページ: 1-1

Lecture Notes in Computer Science 3838

ページ: 198-223

Lecture Notes in Computer Science 3091

ページ: 40-54

Lecture Notes in Comput.Sci. Vol.3091

ページ: 40-54

Lecture Notes in Computer Science 3091

ページ: 40-54

Lecture Notes in Computer Science 3091

ページ: 269-284

Lecture Notes in Comput.Sci. Vol.3091

ページ: 40-54

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