完全二叉树的量词消去

• 作者: 刘吉强 廖东升 罗里波
• 来源期刊: 数学学报
• 学科: 数学
• 关键词: 完全二叉树 量词消去 基本公式 分布公式 有限覆盖
• 年，卷（期）: 2003,（1）
• 页码范围: 95-102
• 页数: 8页
• 分类号: O144.4
• 字数: 5754字
• 语种: 中文
• DOI: 10.3321/j.issn:0583-1431.2003.01.013

摘要

量词消去法已经成为计算机科学和代数模型论中最有力的研究工具之一.本文针对完全二叉树理论所独有的特性,给出了它的基本公式集,然后利用分布公式及有限覆盖证明了完全二叉树的理论可以量词消去.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗里波	北京师范大学数学系	8	18	2.0	4.0
2	刘吉强	北方交通大学计算机与信息技术学院	6	25	3.0	5.0
3	廖东升	北京师范大学数学系	1	13	1.0	1.0