All 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 Other
All Journal Article Presentation
Theoretical Computer Science
Volume: 673 Pages: 19-29
10.1016/j.tcs.2017.02.004
Journal of Logical and Algebraic Methods in Programming
Volume: 印刷中 Pages: 84-101
10.1016/j.jlamp.2017.04.002
Bulletin of Informatics and Cybernetics
Volume: 49 Pages: 11-34
120006620458
ACM Transactions on Computational Logic
Volume: 17
10.1145/2964907
IEICE Transacions on Informations and Systems
Volume: E99-D Pages: 588-597
130005131818
Lecture Notes in Computer Science
Volume: 9348 Pages: 84-100
10.1007/978-3-319-24704-5_6
Volume: 16
10.1145/2785967
Volume: 84 Pages: 426-439
10.1016/j.jlamp.2014.08.008
Volume: 84 Pages: 359-376
10.1016/j.jlamp.2014.12.003
Computing Research Repository (CoRR), arXiv.org
Volume: 1501. 05147 Pages: 1-34
Volume: 1407. 5819 Pages: 1-44
Lecture Notes in Computer Science, Springer
Volume: 8428 Pages: 261-273
10.1007/978-3-319-06251-8_16
神奈川大学工学研究所所報
Volume: 36 Pages: 106-113
40019903770
Volume: 7560 Pages: 310-325
10.1007/978-3-642-33314-9_21
Volume: LNCS 7560 Pages: 207-218
10.1007/978-3-642-33314-9_14
Volume: 7560 Pages: 219-234
10.1007/978-3-642-33314-9_15
Bulletin of Tottori University of Environmental Studies
Volume: Vol. 9 and 10 Pages: 91-103
40019237804
http://www.kankyo-u.ac.jp/f/845/bulletin/009-010/091-103.pdf
Volume: 9・10 Pages: 91-103
Volume: Vol. 43 Pages: 1-21
120005397797
Volume: 43 Pages: 1-21
12th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2011, Rotterdam, The Netherlands
Volume: 6663 Pages: 148-163
10.1007/978-3-642-21070-9_13
Fuzzy Sets and Systems, Elsevier
Volume: 173 Pages: 1-24
10.1016/j.fss.2010.11.008
Bulletin of Informatics and Cybernetics 41
Pages: 11-24
120003878376
Lecture Notes in Computer Science 5827
Pages: 119-133
鹿児島大学理学部紀要 42
Pages: 1-9
120005997297
Pages: 276-290
ソフトウェア科学会第25回大会論文集(CD-ROM), ソフトウェア科学会
Pages: 7-7
Lecture Notes in Computer Science 4988
Pages: 110-122
Relations and Kleene Algebra in Computer Sciencea, (A volume ofLecture Notes in Computer Science). (掲載予定)
Pages: 13-13
Proceedings of Relations and Kleene Algebra in Computer Science
Pages: 73-77
Lecture Notes in Computer Science(Springer) vol.4988
Proceedings of The Student Program of RelMiCS10/AKA5 (掲載予定)
Pages: 5-5
Volume: (印刷中)
Volume: (掲載決定)
Fuzzy Sets and Systems
Bulletin of Informatics and Cybernetics (印刷中)
Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras, Bulletin of Informatics and Cybernetics (掲載決定)