青戸 等人  AOTO Takahito

Proceedings of the 14th International Symposium on Frontiers of Combining Systems

巻: 14279 ページ: 99-116

Proceedings of the 12th International Workshop on Confluence

巻: NB ページ: 32-37

Proceedings of the 15th International Conference on Language and Automata Theory and Applications (LATA 2021), Lecture Notes in Computer Science,

巻: 12638 ページ: 200-212

10.1007/978-3-030-68195-1_15

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), LIPIcs

巻: 213

情報処理学会論文誌プログラミング（PRO）

巻: 14 ページ: 15-24

170000184921

情報処理学会論文誌プログラミング（PRO）

巻: 14 ページ: 15-24

170000184921

情報処理学会論文誌プログラミング（PRO）

巻: 14 ページ: 1-14

170000184922

情報処理学会論文誌プログラミング（PRO）

巻: 14 ページ: 1-14

170000184922

Proceedings of the 18th International International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), LNCS

巻: 12819 ページ: 386-404

第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集

巻: C1-17 ページ: 1-12

第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集

巻: C1-14 ページ: 1-12

170000180844

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Leibniz International Proceedings in Informatics,

巻: 167

第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020)論文集

巻: C1-12 ページ: 1-15

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

巻: 37 号: 2 ページ: 2_104-2_119

10.11309/jssst.37.2_104

130007844692

第21回プログラミングおよびプログラミング言語ワークショップ

巻: 21 ページ: 1-14

40022502359

第21回プログラミングおよびプログラミング言語ワークショップ

巻: 21 ページ: 1-15

40021462142

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

巻: 36 ページ: 61-75

130007666999

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

巻: 36 号: 2 ページ: 2_61-2_75

10.11309/jssst.36.2_61

130007666999

Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)

巻: 21 ページ: 1-14

10.1145/3354166.3354178

Proceedings of the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), LNCS

巻: 11715 ページ: 330-347

10.1007/978-3-030-29007-8_19

Leibniz International Proceedings in Informatics (LIPIcs)

巻: 108

10.4230/LIPIcs.FSCD.2018.32

120006705615

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

Proceedings of the 8th International Joint Conference on Automated Reasoning, Coimbra, Portugal

巻: 9706 ページ: 173-182

Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)

巻: 9706 ページ: 173-182

10.1007/978-3-319-40229-1_12

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

Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016)

巻: －

Proceedings of 7th SCSS

巻: 39 ページ: 156-168

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

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

130004892317

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

Proceedings of 26th RTA

巻: 36 ページ: 301-317

10.4230/LIPIcs.RTA.2015.301

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

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

10.11309/jssst.31.1_75

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

Lecture Notes in Computer Science

巻: Vol.7810 ページ: 56-67

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

巻: 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回プログラミングおよびプログラミング言語ワークショップ論文集

Lecture Notes in Artificial Intelligence

巻: Vol.8152 ページ: 311-326

http://link.springer.com/chapter/10.1007%2F978-3-642-40885-4_22

Lecture Notes in Computer Science

巻: Vol.8152 ページ: 311-326

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

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

130004549310

Lecture Notes in Computer Science

巻: Vol.7810 ページ: 56-67

http://link.springer.com/chapter/10.1007%2F978-3-642-37064-9_7

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

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

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

130004688287

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

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

130004549310

Lecture Notes in Computer Science

巻: Vol.7562 ページ: 172-186

http://link.springer.com/chapter/10.1007%2F978-3-642-33654-6_12

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

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

130004549256

Proceedings of the 6th International Conference on Graph Transformation (ICGT 2012)

巻: LNCS 7562 ページ: 172-186

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

巻: 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.29, No.1 ページ: 211-239

130004549258

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

巻: Vol.29, No.1 ページ: 211-239

130004549258

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

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

130004549256

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

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

130004549256

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

巻: Vol.29,No.1 ページ: 211-239

130004549258

https://www.jstage.jst.go.jp/article/jssst/29/1/29_1_1_211/_article/-char/ja/

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

ページ: 153-167

40020657296

Logical Methods in Computer Science

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

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

ページ: 168-182

130004549310

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

巻: Vol.10 ページ: 107-121

120006675017

第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

Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

巻: Vol.10 ページ: 107-121

http://drops.dagstuhl.de/opus/volltexte/2011/3111/

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

Proceedings of the 21st International Conference on Rewriting

巻: Vol.6 ページ: 7-16

Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010), LIPIcs

巻: Vol.6 ページ: 7-16

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

LNAI Vol.5749

ページ: 117-132

コンピュータソフトウェア 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

Trento, Italy, Review existence

巻: LNAI5749 ページ: 117-132

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

ページ: 14-27

130000058178

IPSJ Transactions on Programming 49

ページ: 28-38

130000058179

IPSJ Transactions on Programming 49

ページ: 14-27

130000058178

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

ページ: 28-38

130000058179

IPSJ Transactions on Programming 49

ページ: 14-27

130000058178

Hagenberg, Austria, Review existence

巻: 200 ページ: 1-15

Bangalore, India, Dagstuhl Seminar Proceedings, Review existence

巻: Vol.08004 ページ: 13-24

情報技術レターズ 6

ページ: 31-34

情報技術レターズ 6

ページ: 31-34

10025982412

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

ページ: 75-89

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

ページ: 75-89

IPSJ Transactions on Programming 47・SIG16

ページ: 52-65

130000058313

Information Technology Letters Vol.4

ページ: 5-8

Lecture Notes in Computer Science 3467

ページ: 120-134

Lecture Notes in Computer Science 3467

ページ: 120-134

情報技術レターズ 4

ページ: 5-8

Proceedings of the 2nd international Workshop on HOR

ページ: 61-65

Lecture Notes in Comput.Sci. Vol.3091

ページ: 269-284

Lecture Notes in Comput.Sci. Vol.3091

ページ: 269-284

Proceedings of the 2nd International Workshop on HOR

ページ: 61-65

Lecture Notes in Computer Science 3091

ページ: 269-284

Lecture Notes in Computer Science 3091

ページ: 269-284

Proc.of the 7th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming

ページ: 59-69