Wasaki, Katsumi
Documents Indexed: | 7 Publications since 1999 |
Co-Authors: | 12 Co-Authors with 6 Joint Publications |
41 Co-Co-Authors |
all
top 5
Co-Authors
all
top 5
Fields
Publications by Year
Cited by 4 Authors
1 | Kanazashi, Katuhiko |
1 | Koch, Sebastian |
1 | Okazaki, Hiroyuki |
1 | Shidama, Yasunari |
Cited in 1 Serial
2 | Formalized Mathematics |
Cited in 4 Fields
1 | Mathematical logic and foundations (03-XX) |
1 | Order, lattices, ordered algebraic structures (06-XX) |
1 | Functional analysis (46-XX) |
1 | Operator theory (47-XX) |