×
编辑配置文件（在新选项卡中打开）

大卫·英莎

合著者距离
作者ID： insa.david公司“Insa，David”最近发表的zbMATH文章
发布日期： 大卫·英莎
编入索引的文档： 5出版物自2013年起
合著者： 3位合著者具有5联合出版物
21位合作作者

合著者

0 单作者的
5 乔塞普·席尔瓦
2 萨尔瓦多塔马利特
1 塞萨尔·托马斯

系列

1 逻辑与代数程序设计杂志
1 程序设计中的逻辑和代数方法杂志

领域

5 计算机科学（68至XX）

按年份列出的出版物

zbMATH Open中包含的引文

2出版物有被引用3中的次3文件 引用人▼ 年份▼
通过循环扩展和树压缩增强声明性调试。 Zbl 1394.68075号
英萨，大卫;乔塞普·席尔瓦;塞萨尔·托马斯
2
2013
算法调试概述。 Zbl 1395.68094号
大卫·英莎;乔塞普·席尔瓦
1
2018
算法调试概述。 Zbl 1395.68094号
大卫·英莎;乔塞普·席尔瓦
1
2018
通过循环扩展和树压缩增强声明性调试。 兹比尔1394.68075
大卫·英莎;乔塞普·席尔瓦;塞萨尔·托马斯
2
2013
全部的 前5名

6位作者引用

2 大卫·英莎
2 乔塞普·席尔瓦
1 拉斐尔·卡巴列罗（Rafael E.Caballero）。
1 恩里克·马丁·马汀
1 阿德里安·里斯科
1 萨尔瓦多塔马利特

连载1篇

2 程序设计中的逻辑和代数方法杂志

在1个字段中引用

三 计算机科学（68至XX）

按年份列出的引文