長谷川 立  Hasegawa Ryu

A.Pure Appl.Logic (in printing)

数学 59

ページ: 180-191

Logical methods in Computer Science. 2

ページ: 1-22

Logical Methods in Computer Science 2

ページ: 1-22

Theory and Applications of Categories 17

ページ: 17-29

Theory and Applications of Categories 17・2

ページ: 17-29

Theory and Applications of Categories 17

ページ: 17-29

Mathematical Structures in Computer Science 15

ページ: 323-342

20th Annual IEEE Symposium on Logic in Computer Science

ページ: 72-81

Springer Lecture Notes in Computer Science 2998

ページ: 229-243

Publications of the Research Institue for Mathematical Sciences 40(3)

ページ: 991-1014

Publications of the Research Institute for Mathematical Sciences 40(3)

ページ: 991-1014

110001050933

Springer Lecture Notes in Computer Science 2994

ページ: 229-243

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)

Mathematical Structures in Computer Science (in printing)