编辑配置文件（在新选项卡中打开） 戴维·佩雷拉（David P.Pereira）。 合著者距离 作者ID： 佩雷拉.david-p 发布日期： 大卫·佩雷拉;戴维·佩雷拉（David P.Pereira）。 外部链接： MGP公司·ORCID公司 已编制索引的文档： 5出版物自2009年起 合著者： 5位合著者具有5联合出版物 85位合作作者 合著者 0 单作者的 4 内尔玛·莫雷拉 三 西芒，索萨甜瓜 1 何塞·巴塞拉尔·阿尔梅达 1 阿娜·克里斯蒂娜·维埃拉·德·梅洛 1 尤格尼奥·奥利维拉 系列 1 计算机程序设计科学 1 程序设计中的逻辑和代数方法杂志 领域 5 计算机科学（68至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用13中的次10文件 引用人▼ 年份▼ Coq中形式化的偏导数自动机。 Zbl 1297.68214号 何塞·巴塞拉尔·阿尔梅达;内尔玛·莫雷拉;大卫·佩雷拉;圣梅洛·德索萨 4 2011 Coq中Kleene代数项等价性的判定。 Zbl 1329.68232号 内尔玛·莫雷拉;大卫·佩雷拉;西芒，索萨甜瓜 4 2015 确定Coq中正则表达式（in-）的等价性。 Zbl 1330.68265号 内尔玛·莫雷拉;大卫·佩雷拉;西芒，索萨甜瓜 4 2012 BDI代理中情绪的正式建模。 兹比尔1175.68462 大卫·佩雷拉;尤格尼奥·奥利维拉;内尔玛·莫雷拉 1 2009 Coq中Kleene代数项等价性的判定。 Zbl 1329.68232号 内尔玛·莫雷拉;大卫·佩雷拉;西芒，索萨甜瓜 4 2015 确定Coq中正则表达式（in-）的等价性。 Zbl 1330.68265号 内尔玛·莫雷拉;大卫·佩雷拉;西芒，索萨甜瓜 4 2012 在Coq中形式化的偏导数自动机。 Zbl 1297.68214号 何塞·巴塞拉尔·阿尔梅达;内尔玛·莫雷拉;大卫·佩雷拉;圣梅洛·德索萨 4 2011 BDI代理中情绪的正式建模。 Zbl 1175.68462号 大卫·佩雷拉;尤格尼奥·奥利维拉;内尔玛·莫雷拉 1 2009 所有引用的出版物 前5名被引用出版物 全部的 前5名20位作者引用 4 内尔玛·莫雷拉 2 西芒，索萨甜瓜 2 戴维·佩雷拉（David P.Pereira）。 1 马塞洛·玛丽亚·邦桑格 1 安德烈亚斯·布朗斯特罗姆 1 萨宾·布罗达 1 西尔维亚卡瓦达斯 1 可口、蒂埃里 1 克里斯蒂安·多兹卡尔 1 胡安·卡洛斯·尼维斯 1 托比亚斯·尼普科夫 1 罗杰里奥·里斯 1 朱里安·罗特 1 简·J·M·M·鲁顿。 1 西尔斯，文森特 1 格特·斯莫尔卡 1 德米特里·特雷特尔 1 城市，基督教 1 吴春汉 1 张兴元 4篇连载文章中引用 2 自动推理杂志 1 信息与计算 1 函数编程杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 10 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文