计算机应用研究2009，Vol.26Issue(6)：2090-2091,2094,3.DOI:10.3969/j.issn.1001-3695.2009.06.026
P*4中保四元正则可离关系非最小覆盖的剔除
Elimination of not belonging to minimal covering of preserving quaternary regularly separable relations in partial four-valued logic
摘要
关键词
多值逻辑/完备性/正则可离关系/最小覆盖分类
信息技术与安全科学引用本文复制引用
周小强,刘任任..P*4中保四元正则可离关系非最小覆盖的剔除[J].计算机应用研究,2009,26(6):2090-2091,2094,3.基金项目
国家自然科学基金资助项目(606731931) （606731931）
湖南省教育厅资助项目(07A067,08C390) （07A067,08C390）
