时态类型集的封闭集

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

时态类型集的封闭集

姚春龙,郝忠孝

Close Set of Set of Temporal Types

YAO Chunlong1,2，HAO Zhongxiao1,2,3

. 2003, (02): 40 -42 .