约翰·谢泼德森
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2000 – 2009
2001 [公元32年] 彼得·哈耶克 , 约翰·谢泼德森 :
关于模糊逻辑中真理概念的注记。 Ann.纯粹应用。 日志。 109 ( 1-2个 ) : 65-69 ( 2001 ) 2000 [公元31年] 彼得·哈耶克 , 杰夫·B·巴黎 , 约翰·谢泼德森 :
说谎者悖论与模糊逻辑。 J.塞姆。 日志。 65 ( 1 ) : 339-346 ( 2000 ) 【j30】 彼得·哈耶克 , 杰夫·B·巴黎 , 约翰·谢泼德森 :
有理Pavelka谓词逻辑是Lukasiewicz谓词逻辑的保守扩展。 J.塞姆。 日志。 65 ( 2 ) : 669-682 ( 2000 )
1990 – 1999
1995 【c2】 约翰·谢泼德森 :
W·S·杰文斯:他的逻辑机器、工作归纳法和布尔代数。 机器智能15 1995 : 489-505 1994 [公元29年] 凯里马·本克里米 , 约翰·谢泼德森 :
可更新定逻辑程序的部分演绎。 J.日志。 程序。 18 ( 1 ) : 1-26 ( 1994 ) [公元28年] 约翰·谢泼德森 :
标准化在逻辑编程中的作用。 西奥。 计算。 科学。 129 ( 1 ) : 143-142 ( 1994 ) 1992 [公元27年] 约翰·谢泼德森 :
逻辑程序设计的薄荷类型演绎演算。 Ann.纯粹应用。 日志。 56 ( 1-3 ) : 7-17 ( 1992 ) [公元26年] 约翰·谢泼德森 :
SLDNF平等解决方案。 J.汽车。 原因。 8 ( 2 ) : 297-306年 ( 1992 ) [公元25年] 约翰·谢泼德森 :
逻辑程序的展开/折叠变换。 数学。 结构。 计算。 科学。 2 ( 2 ) : 143-157 ( 1992 ) 1991 [公元24年] 约翰·谢泼德森 :
SLDNF解决方案中无法解决的问题。 J.日志。 程序。 10 ( 1 ) : 19-22 ( 1991 ) [公元23年] 约翰·劳埃德 , 约翰·谢泼德森 :
逻辑程序设计中的部分求值。 J.日志。 程序。 11 ( 3&4 ) : 217-242 ( 1991 ) [公元22年] 约翰·谢泼德森 :
正确回答允许的程序和查询是可靠的。 J.日志。 程序。 11 ( 3&4 ) : 359-362 ( 1991 ) 【c1】 菲利普·加德纳 , 约翰·谢泼德森 :
逻辑程序的展开/折叠变换。 计算逻辑——纪念艾伦·罗宾逊的论文 1991 : 565-583 1990 [公元21年] 帕特里夏·M·希尔 , 约翰·劳埃德 , 约翰·谢泼德森 :
修剪运算符的属性。 J.日志。 计算。 1 ( 1 ) : 99-143 ( 1990 )
1980 – 1989
1989 [公元20年] 约翰·谢泼德森 :
否定作为失败的一个版本的健全和完整的语义。 西奥。 计算。 科学。 65 ( 三 ) : 343-371 ( 1989 ) 1988 [第1页] 约翰·谢泼德森 :
逻辑编程中的否定。 演绎数据库和逻辑编程基础。 1988 : 19-88 1985 [公元19年] 约翰·谢泼德森 :
否定为失败II。 J.日志。 程序。 2 ( 三 ) : 185-202 ( 1985 ) 1984 [公元18年] 约翰·谢泼德森 :
否定即失败:克拉克的完整数据库与雷特的封闭世界假设的比较。 J.日志。 程序。 1 ( 1 ) : 51-79 ( 1984 ) 1983 [公元17年] 詹姆斯·琼斯 , 约翰·谢泼德森 :
罗宾逊本质不可判定理论的变体 R(右) . 架构(architecture)。 数学。 日志。 23 ( 1 ) : 61-64 ( 1983 ) 1982 [公元16年] 约翰·谢泼德森 :
G-方案和TL-Schemes的图论特征。 西奥。 计算。 科学。 17 : 第217页至第228页 ( 1982 ) 1981 [公元15年] 约翰·谢泼德森 :
在《纪念卡尔文·C·埃尔戈特》中。 西奥。 计算。 科学。 16 : 1-4 ( 1981 ) 1980 [公元14年] 维伦娜·戴森 , 詹姆斯·琼斯 , 约翰·谢泼德森 :
哥德尔定理的一些丢番图形式。 架构(architecture)。 数学。 日志。 22 ( 1-2个 ) : 51-60 ( 1980 )
1970 – 1979
1979 [j13] 卡尔文·埃尔戈特 , 约翰·谢泼德森 :
可简化流程图方案的语义意义描述。 西奥。 计算。 科学。 8 : 325-357 ( 1979 ) 1976 [公元12年] A.Bezboruah , 约翰·谢泼德森 :
关于Q的哥德尔第二不完全性定理。 J.塞姆。 日志。 41 ( 2 ) : 503-512 ( 1976 ) [公元11年] 约翰·谢泼德森 :
关于实变量可计算函数的定义。 数学。 日志。 问:。 22 ( 1 ) : 391-402 ( 1976 ) 1974 [公元10年] H.E.罗斯 , 约翰·谢泼德森 :
符号逻辑协会欧洲会议:英国布里斯托尔,1973年。 J.塞姆。 日志。 39 ( 2 ) : 406-432 ( 1974 ) 1970 [公元9年] 约翰·谢泼德森 :
R70-20序列布尔方程。 IEEE传输。 计算机 19 ( 7 ) : 658 ( 1970 )
1960 – 1969
1964 [j8] 约翰·谢泼德森 , S.科尔纳 , M.D.格莱斯顿 :
符号逻辑协会会议。 J.塞姆。 日志。 29 ( 4 ) : 218-228 ( 1964 ) 1963 [j7] 约翰·谢泼德森 , 霍华德·斯特吉斯 :
递归函数的可计算性。 美国临床医学杂志 10 ( 2 ) : 217-255 ( 1963 )
1950年至1959年
1959 [j6] 约翰·谢泼德森 :
将双向自动机简化为单向自动机。 IBM J.研究开发。 三 ( 2 ) : 198-200年 ( 1959 ) 1956 [j5] 约翰·谢泼德森 :
亚里士多德三段论的解读。 J.塞姆。 日志。 21 ( 2 ) : 137-147 ( 1956 ) 【j4】 约翰·谢泼德森 :
关于Myhill系统的注释。 J.塞姆。 日志。 21 ( 三 ) : 261-264 ( 1956 ) 1953 [j3] 约翰·谢泼德森 :
集合论的内部模型——第三部分。 J.塞姆。 日志。 18 ( 2 ) : 145-167 ( 1953 ) 1952 [注2] 约翰·谢泼德森 :
集合理论的内部模型——第二部分。 J.塞姆。 日志。 17 ( 4 ) : 225-237 ( 1952 ) 1951 [j1] 约翰·谢泼德森 :
集合论的内部模型——第一部分。 J.塞姆。 日志。 16 ( 三 ) : 161-190 ( 1951 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)