Abstract
Endou, N
Endou, N (通讯作者),Gifu Coll, Natl Inst Technol, 2236-2 Kamimakuwa, Motosu, Gifu, Japan.
FORMALIZED MATHEMATICS, 2022; 30 (1): 31