Associate Professor
The Last Update Time: ..
Hits:
Institution:哲学与社会发展学院
Title of Paper:Proper Multi-type display calculi for Rough Algebras
Journal:13th Workshop on Logical and Semantic Frameworks with Applications (LSFA)
First Author:梁飞
All the Authors:Fey
Document Code:BB2C9336392D43C593CE8CB902A24F4A
Number of Words:20
Translation or Not:No
Date of Publication:2018-09
Release Time:2019-11-26