Journal of Logic and Computation. 2010;20(5):1017-1040. doi: 10.1093/logcom/exn091 Q40.72025
Vietoris Bisimulations
Vietoris相互模拟
DOI: 10.1093/logcom/exn091
摘要 查看摘要
Journal of Logic and Computation. 2010;20(5):1017-1040. doi: 10.1093/logcom/exn091 Q40.72025
DOI: 10.1093/logcom/exn091
摘要 查看摘要