对Dijkstra量词研究的补充

• 作者: 宋方敏 张昱 梅卫锋
• 来源期刊: 南京大学学报(自然科学版)
• 学科: 工学
• 关键词: 量词 存在量词 谓词演算 布尔结构
• 年，卷（期）: 2002,（1）
• 页码范围: 110-118
• 页数: 9页
• 分类号: TP301
• 字数: 5216字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2002.01.016

摘要

在Dijkstra的研究工作的基础上,对量词作进一步的探讨,主要以存在量词的几个基本性质作为假定,并由此推出有关存在量词和全称量词的其他一系列的性质.可视为Dijkstra的补充,从而使人们对量词的性质有更深的认识.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梅卫锋	南京大学软件新技术国家重点实验室	2	1	1.0	1.0
2	张昱	南京大学软件新技术国家重点实验室	2	1	1.0	1.0
3	宋方敏	南京大学软件新技术国家重点实验室	29	191	9.0	13.0