古澤 仁  FURUSAWA Hitoshi

鹿児島大学理学部紀要

巻: 54 ページ: 1-7

120007183504

Lecture Notes in Computer Science

巻: 12062 ページ: 237-252

10.1007/978-3-030-43520-2_15

Journal of Logical and Algebraic Methods in Programming

巻: 117 ページ: 1-19

10.1016/j.jlamp.2020.100590

Bulletin of Informatics and Cybernetics

巻: 49 ページ: 11-34

120006620458

Theoretical Computer Science

巻: 673 ページ: 19-29

10.1016/j.tcs.2017.02.004

Journal of Logical and Algebraic Methods in Programming

巻: 印刷中 ページ: 84-101

10.1016/j.jlamp.2017.04.002

ACM Transactions on Computational Logic

巻: 17 号: 4 ページ: 1-34

10.1145/2964907

IEICE Transacions on Informations and Systems

巻: E99-D ページ: 588-597

130005131818

Journal of Logical and Algebraic Methods in Programming

巻: 84 号: 3 ページ: 426-439

10.1016/j.jlamp.2014.08.008

Lecture Notes in Computer Science

巻: 9348 ページ: 84-100

10.1007/978-3-319-24704-5_6

Journal of Logical and Algebraic Methods in Programming

巻: 84 号: 3 ページ: 359-376

10.1016/j.jlamp.2014.12.003

ACM Transactions on Computational Logic

巻: 16 号: 4 ページ: 1-38

10.1145/2785967

Computing Research Repository (CoRR), arXiv.org

巻: 1501. 05147 ページ: 1-34

Lecture Notes in Computer Science, Springer

巻: 8428 ページ: 261-273

10.1007/978-3-319-06251-8_16

Computing Research Repository (CoRR), arXiv.org

巻: 1407. 5819 ページ: 1-44

神奈川大学工学研究所所報

巻: 36 ページ: 106-113

120006940674

Lecture Notes in Computer Science, Springer

巻: 7560 ページ: 310-325

10.1007/978-3-642-33314-9_21

Lecture Notes in Computer Science, Springer

巻: 7560 ページ: 219-234

10.1007/978-3-642-33314-9_15

13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012, Cambridge, UK

巻: LNCS 7560 ページ: 207-218

10.1007/978-3-642-33314-9_14

Bulletin of Tottori University of Environmental Studies

巻: Vol. 9 and 10 ページ: 91-103

40019237804

http://www.kankyo-u.ac.jp/f/845/bulletin/009-010/091-103.pdf

Bulletin of Tottori University of Environmental Studies

巻: 9・10 ページ: 91-103

40019237804

Bulletin of Informatics and Cybernetics

巻: Vol. 43 ページ: 1-21

120005397797

Bulletin of Informatics and Cybernetics

巻: 43 ページ: 1-21

120005397797

Fuzzy Sets and Systems

巻: 173 号: 1 ページ: 1-24

10.1016/j.fss.2010.11.008

Bulletin of Informatics and Cybernetics

巻: 43 ページ: 1-21

Lecture Notes in Computer Science, Springer

巻: 6663 ページ: 148-163

10.1007/978-3-642-21070-9_13

Lecture Notes in Computer Science 5827

ページ: 119-133

鹿児島大学理学部紀要 42

ページ: 1-9

120005997297

Lecture Notes in Computer Science 5827

ページ: 276-290

Bulletin of Informatics and Cybernetics 41

ページ: 11-24

120003878376

Lecture Notes in Computer Science 4988

ページ: 110-122

Lecture Notes in Computer Science(Springer) vol.4988

ページ: 110-122

Proceedings of Relations and Kleene Algebra in Computer Science

ページ: 73-77

Relations and Kleene Algebra in Computer Sciencea, (A volume ofLecture Notes in Computer Science). (掲載予定)

ページ: 13-13

Proceedings of The Student Program of RelMiCS10/AKA5 (掲載予定)

ページ: 5-5

ソフトウェア科学会第25回大会論文集(CD-ROM), ソフトウェア科学会

ページ: 7-7

40022046297

Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras, Bulletin of Informatics and Cybernetics (掲載決定)

ページ: 13-13

Bulletin of Informatics and Cybernetics

巻: (掲載決定)

120005397797

Bulletin of Informatics and Cybernetics (印刷中)

ページ: 13-13

120003878376

Lecture Notes in Computer Science

巻: (印刷中)

Fuzzy Sets and Systems

巻: (印刷中)

Lecture Notes in Computer Science

巻: (印刷中)

Fuzzy Sets and Systems

巻: (印刷中)

Bulletin of Informatics and Cybernetics

巻: (掲載決定)

120005397797