Programming Logics
Programming Logics
复制标题
编程逻辑
DOI：
10.1007/978-3-642-37651-1_1
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Kapur D
中科院分区：
文献类型：
--
作者：
Kapur D
2004年，Harald Ganzinger被提名为Herbrand奖，他在2004年6月3日去世前两个月才获得该奖项。我们描述甘青尔的科学成就。我们希望这篇论文也可以作为Ganzinger在计算机科学的许多领域中最重要的贡献和出版物的参考指南。
In 2004 Harald Ganzinger was nominated for the Herbrand Award, which he received only two months before he passed away on June 3, 2004. We describe Ganzinger’s scientific achievements. We hope that this paper will also be useful as a reference guide to Ganzinger’s most significant contributions and publications in many areas of computer science.
登录
查看更多内容
缩小的实现：基于 Prolog 的方法
DOI：
10.7551/mitpress/4313.003.0004
发表时间：
1993
期刊：
Inf. Comput.
影响因子：
--
作者：
P. H. Cheong;L. Fribourg
通讯作者：
L. Fribourg
函数逻辑编程中的建设性失败：从理论到实现
DOI：
10.3217/jucs-012-11-1574
发表时间：
2006
期刊：
J. Univers. Comput. Sci.
影响因子：
--
作者：
J. Sánchez
通讯作者：
J. Sánchez
DOI：
--
发表时间：
1997
期刊：
ALP/HOA
影响因子：
--
作者：
S. Antoy
通讯作者：
S. Antoy
基于构造函数的条件缩小
DOI：
--
发表时间：
2001
期刊：
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
影响因子：
--
作者：
S. Antoy
通讯作者：
S. Antoy
影响因子：
0.7
作者：
S. Antoy
通讯作者：
S. Antoy