Abstract
Hofmann, M; Ledent, J
Ledent, J (通讯作者),Univ Strathclyde, Math Struct Programming Grp, Glasgow, Lanark, Scotland.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022; 32 (6): 777