关于部分四值逻辑中3元正则可离关系的分类

摘要：

本文对部分四值逻辑中3元正则可离关系的分类进行了研究。文章在固定BT算法模型下证明了几个图论问题的指数下界，探讨了其基本定义，阐述了主要结果。

关键词： 自动机理论 多值逻辑 逻辑函数

作者: 龚志伟 刘任任

作者单位: 湘潭大学信息工程学院,湘潭,411105

会议类型: 国内会议

会议名称: 2006年全国理论计算机科学学术年会

会议地点: 长春

会议语种:中文

页码: 109-110,121

在线出版日期: 2006-08-09（万方平台首次上网日期，不代表论文的发表时间）