All 2010 2008 2007 2006 2005 2004 Other
All Journal Article Presentation
A.Pure Appl.Logic (in printing)
数学 59
Pages: 180-191
Logical methods in Computer Science. 2
Pages: 1-22
Logical Methods in Computer Science 2
Theory and Applications of Categories 17
Pages: 17-29
Theory and Applications of Categories 17・2
Mathematical Structures in Computer Science 15
Pages: 323-342
20th Annual IEEE Symposium on Logic in Computer Science
Pages: 72-81
Springer Lecture Notes in Computer Science 2998
Pages: 229-243
Publications of the Research Institue for Mathematical Sciences 40(3)
Pages: 991-1014
Publications of the Research Institute for Mathematical Sciences 40(3)
110001050933
Springer Lecture Notes in Computer Science 2994
Theory and Applications of Categoriecs (in printing)
Theory and Applications of Categories (In printing)
Mathematical Structures in Computer Science (In printing)
Theory and Applications of Categories (in printing)
Fundamenta Informaticae (in printing)
Mathematical Structures in Computer Science (in printing)
Journal of Pure and Applied Logic (掲載確定[印刷中])
Fundamenta Informalicae (in printing)