Model Checking. Part III
Ishida, Kazuhisa, Shidama, Yasunari
The Measurability of Complex-Valued Functional Sequences
Narita, Keiko, Endou, Noboru, Shidama, Yasunari
Contracting Mapping on Normed Linear Space
Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari