Abstract
Hoffmann, J; Sannella, D; Schopp, U
Hoffmann, J (通讯作者),Carnegie Mellon Univ, Pittsburgh, PA 15213 USA.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022; 32 (6): 682