Rank-1模态逻辑相关硕士博士期刊学术论文

余代数是一种基于状态刻画动态系统的数学结构，该结构以范畴上的自函子为参量可以统一描述常见的动态系统，从而为研究动态系统的性质......