All 2017 2006 2005 2003
All Journal Article
Bulletin of Informatics and Cybernetics
Volume: 49 Pages: 11-34
120006620458
Journal of Logical and Algebraic Methods in Programming
Volume: 印刷中 Pages: 84-101
10.1016/j.jlamp.2017.04.002
Lecture Notes in Computer Science 4136
Pages: 251-265
Bull. Inform Cybernet. 38
Pages: 27-37
120001014495
Bull.Inform.Cybernet. 38
Bull. Inform. Cybernet. 38
Proceedings of 8-th International Conference on Relational Methods in Computer Science (印刷中)
Lecture Notes in Computer Science 3699
Pages: 130-141
京都大学数理解析研究所講究録 131
Pages: 102-112
RIMS Kokyuroku, Kyoto Univ. 1318