Proper Multi-type display calculi for Rough Algebras
发布时间：2019-11-26 点击数：
所属单位：哲学与社会发展学院
论文名称：Proper Multi-type display calculi for Rough Algebras
发表刊物：13th Workshop on Logical and Semantic Frameworks with Applications (LSFA)
第一作者：梁飞
全部作者：梁飞
论文编号：BB2C9336392D43C593CE8CB902A24F4A
字数：20
是否译文：否
发表时间：2018-09