Muroya, Koko
Author ID: | muroya.koko |
Published as: | Muroya, Koko |
Videos: | carmin.tv |
Documents Indexed: | 7 Publications since 2014 |
Co-Authors: | 8 Co-Authors with 7 Joint Publications |
113 Co-Co-Authors |
all
top 5
Co-Authors
0 | single-authored |
4 | Ghica, Dan R. |
2 | Cheung, Steven W. T. |
2 | Hasuo, Ichiro |
2 | Hoshino, Naohiko |
1 | Darvariu, Victor-Alexandru |
1 | Rowe, Reuben N. S. |
1 | Sanada, Takahiro |
1 | Urabe, Natsuki |
Serials
1 | Logical Methods in Computer Science |
Fields
7 | Computer science (68-XX) |
4 | Mathematical logic and foundations (03-XX) |
1 | Category theory; homological algebra (18-XX) |
Publications by Year
all
top 5
Cited by 18 Authors
Cited in 4 Serials
2 | Mathematical Structures in Computer Science |
1 | Annals of Pure and Applied Logic |
1 | New Generation Computing |
1 | Logical Methods in Computer Science |
Cited in 5 Fields
12 | Computer science (68-XX) |
9 | Mathematical logic and foundations (03-XX) |
3 | Category theory; homological algebra (18-XX) |
3 | Quantum theory (81-XX) |
1 | Functional analysis (46-XX) |