西田 直樹  NISHIDA Naoki

Journal of Logical and Algebraic Methods in Programming

巻: 127 ページ: 1-17

10.1016/j.jlamp.2022.100779

IEEE Transactions on Parallel and Distributed Systems

巻: 32 号: 6 ページ: 1425-1436

10.1109/tpds.2021.3051747

Lecture Notes in Computer Science

巻: 12227 ページ: 239-245

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

Lecture Notes in Computer Science

巻: 12070 ページ: 108-127

10.1007/978-3-030-47361-7_5

Electronic Proceedings in Theoretical Computer Science

巻: 289 ページ: 68-87

10.4204/eptcs.289.5

Science of Computer Programming

巻: 155 ページ: 76-102

10.1016/j.scico.2017.10.012

Journal of Logical and Algebraic Methods in Programming

巻: 100 ページ: 71-97

10.1016/j.jlamp.2018.06.004

Lecture Notes in Computer Science

巻: 10818 ページ: 247-263

10.1007/978-3-319-90686-7_16

LIPIcs

巻: 108

10.4230/LIPIcs.FSCD.2018.26

Journal of Logical and Algebraic Methods in Programming

巻: 94 ページ: 128-149

10.1016/j.jlamp.2017.10.003

120006473505

Logical Methods in Computer Science

巻: Vol. 8, No. 3 ページ: 1-49

120005530823

Logical Methods in Computer Science

巻: 8 ページ: 1-49

10.2168/lmcs-8(3:4)2012

120005530823

Applicable Algebra in Engineering, Communication and Computing

巻: 21 ページ: 177-225

Communication and Computing

巻: Vo l . 21, No. 3 ページ: 177-225

信学技報 109

ページ: 37-42

120005527807

IPSJ Transactions on Programming 2

ページ: 20-32

130000140286

Electronic Notes in Theoretical Computer Science 237

ページ: 39-56

IPSJ Transactions of Programming on Information 2巻

ページ: 20-32

130000140286

IPSJ Transactions on Programming

巻: Vol.2, No.3 ページ: 20-32

130000140286

IPSJ Transactions of Programming on Information 2

ページ: 20-32

130000140286

Electronic Notes in Theoretical Computer Science 237巻

ページ: 39-56

Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation

ページ: 48-56

Electronic Notes in Theoretical Computer Science 237

ページ: 39-56

Electronic Notes in Theoretical Computer Science

巻: Vol. 237 ページ: 39-56

IEICE Technical Report SS2007-58 107

ページ: 7-12

120005530811

IEICE Technical Report (SS2007-6) Vol.107, No.505(Non-refereed)

ページ: 25-30

電子情報通信学会論文誌 J91-D

ページ: 757-770

120005530809

IEICE Transactions on Information and Systems Vol.J91-D, No.3(Refereed)

ページ: 757-770

120005530809

IEICE Technical Report SS2007-58 Vol.107, No.505(Non-refereed)

ページ: 7-12

120005530811

電子情報通信学会技術研究報告(SS2007-61) 107

ページ: 25-30

120005527805

IEICE Technical Report (SS2007-17) Vol.107, No.176(Non-refereed)

ページ: 7-12

120005526507

Proceedings of the 9th International Workshop on Termination

ページ: 77-81

120000975773

電子情報通信学会技術研究報告(SS2007-16) 107

ページ: 1-6

電子情報通信学会技術研究報告(SS2007-61) 107

ページ: 17-22

110006343341

IEICE Transactions on Information and Systems Vol.J90-D, No.4(Refereed)

ページ: 978-989

IEICE Technical Report (SS2007-16) Vol.107, No.176(Non-refereed)

ページ: 1-6

120005526506

電子情報通信学会論文誌 J90-D

ページ: 978-989

Proc. of the 9th International Workshop on Ter-mination

ページ: 77-81

信学技報 107

ページ: 43-48

120005527804

Proc. of the 9th International Workshop on Ter-mination (Refereed)

ページ: 77-81

電子情報通信学会技術研究報告(SS2007-12) 107

ページ: 17-22

110006343341

電子情報通信学会論文誌 J90-D

ページ: 978-989

電子情報通信学会技術研究報告(SS2007-61) 107

ページ: 1-6

Proc. of the 9th International Workshop on Ter-mination

ページ: 77-81

IEICE Technical Report (SS2007-61) Vol.107, No.505(Non-refereed)

ページ: 17-22

110006343341

電子情報通信学会論文誌 (採録決定済)

電子情報通信学会論文誌 J90-D巻

ページ: 978-989

電子情報通信学会技術研究報告(SS2007-17) 107

ページ: 7-12

120005526507

Electronic Notes in Theoretical Computer Science 174

ページ: 75-95

電子情報通信学会技術研究報告(SS2007-61) 107

ページ: 7-12

120005526507

IEICE Technical Report (SS2005-85) Vol.105, No.596(Non-refereed)

ページ: 35-40

110004662816

電子情報通信学会技術研究報告 105・596

ページ: 35-40

Proc. of 6th International Workshop on Reduc-tion Strategies in Rewriting and Programming(WRS2006)

ページ: 34-48

平成18年度電気関係学会東海支部連合大会論文集 O-438

ページ: 1-1

Proceedings of the 8th International Workshop on Termi-nation

ページ: 12-16

10016575794

冬のLAシンポジウム

電子情報通信学会技術研究報告 (SS2006-41) 106・324

ページ: 7-12

110004851223

IEICE Technical Report IEICE (SS2005-82) Vol.105, No.596(Non-refereed)

ページ: 35-40

110004662813

電子情報通信学会技術研究報告 105・596

ページ: 35-40

平成18年度電気関係学会東海支部連合大会講演論文集

IEICE Technical Report (SS2006-42) Vol.106, No.324(Non-refereed)

ページ: 13-18

110004851224

電子情報通信学会技術研究報告(SS2006-42) 106

ページ: 13-18

110004851224

IEICE Technical Report (SS2006-14) Vol.106, No.120(Non-refereed)

ページ: 7-12

電子情報通信学会技術研究報告 106・120

ページ: 7-12

110004750957

電子情報通信学会技術研究報告(SS2005-82) 105

ページ: 35-40

110004662813

Proc. of 6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS2006)

ページ: 34-48

120000975771

電子情報通信学会技術研究報告(SS2005-82) 105

ページ: 35-40

電子情報通信学会技術研究報告(SS2006-41) 106

ページ: 7-12

110004851223

電子情報通信学会技術研究報告 (SS2006-42) 106・324

ページ: 13-18

110004851224

電子情報通信学会技術研究報告(SS2006-14) 106

ページ: 7-12

110004750957

IEICE Technical Report (SS2006-41) Vol.106, No.324(No-refereed)

ページ: 7-12

電子情報通信学会技術研究報告 (SS2006-6) 106・120

ページ: 7-12

110004750957

電子情報通信学会技術研究報告SS2005-82 105・596

110004662813

電子情報通信学会技術研究報告 106・424

ページ: 7-12

110006163165

Proceedings of the 6th International Workshop on Reduction Strategies in Rewriting and Programming

ページ: 34-48

120000975771

Proc. of 6th International Workshop on Reduc-tion Strategies in Rewriting and Programming (WRS2006) (Refereed)

ページ: 34-48

120000975771

IEICE Trans. on Information and Systems(in Japanese) Vol.J88-D-I, No.8

ページ: 1171-1183

電子情報通信学会論文誌 J88-D-1・8

ページ: 1171-1183

120000976020

電子情報通信学会技術研究報告(SS2005-67) 105

ページ: 25-30

110003488400

Lecture Notes in Computer Science 3467

ページ: 264-278

120000975766

IEICE Technical Report (SS2005-58) Vol.105, No.490(Non-refereed)

ページ: 19-24

情報科学技術レターズ LA-001

ページ: 1-4

IEICE Technical Report (SS2005-46) Vol.105, No.331(Non-refereed)

ページ: 39-44

110003498383

電子情報通信学会技術報告 105・331

ページ: 39-44

110003498383

電子情報通信学会論文誌 J88-D-I・8

ページ: 1171-1183

120000976020

電子情報通信学会技術報告 105・129

ページ: 31-36

10016575794

Information Technology Letters(in Japanese) Vol.LA-001

ページ: 1-4

情報科学技術レターズ LA-001

ページ: 1-4

IEICE Technical Report (SS2005-67) Vol.105, No.491(Non-refereed)

ページ: 25-30

110003488400

電子情報通信学会技術報告 105・331

ページ: 39-44

110003498383

電子情報通信学会論文誌 J88-D-I・8

ページ: 1171-1183

120000976020

電子情報通信学会技術研究報告(SS2005-58) 105

ページ: 19-24

110003488391

電子情報通信学会技術研究報告SS2005-67 105・491

ページ: 25-30

110003488400

電子情報通信学会技術研究報告SS2005-58 105・490

ページ: 19-24

110003488391

Proc.of RTA'05, LNCS 3467

ページ: 264-278

120000975766

電子情報通信学会技術報告(SS2005-46) 105

ページ: 39-44

110003498383

電子情報通信学会技術報告 SS2004-18

ページ: 25-30

110003276724

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

ページ: 40-47

110003743167

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

ページ: 40-47

110003743167

Computer Software (in Japanese) Vol.20, No.5

ページ: 85-89

130004548996

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

ページ: 85-89

130004548996