Dieter Spreen公司
人员信息
附属: 德国西根大学
SPARQL查询
优化列表
2020年–今天
2023 [公元32年] 尼古拉·巴热诺夫 , 高崎木原 , 斯维特兰娜·塞利瓦诺娃 , Dieter Spreen公司 :
关于维克托·塞利瓦诺夫的主要科学成就。 计算。 12 ( 4 ) : 301-314 ( 2023 ) [公元31年] Dieter Spreen公司 :
可计算性理论需要多少偏见? 计算。 12 ( 4 ) : 371-426 ( 2023 ) 【j30】 Dieter Spreen公司 , 乌尔里希·伯杰 :
用无限对象计算:格雷码案例。 日志。 方法计算。 科学。 19 ( 三 ) ( 2023 ) [i13] Dieter Spreen公司 :
可计算性理论需要多少党派性? CoRR公司 abs/2305.06982 ( 2023 ) [i12] 乌尔里希·伯杰 , 莫妮卡·塞森伯格 , Dieter Spreen公司 , Hideki Tsuiki先生 :
并发高斯消去。 CoRR公司 abs/2305.10125 ( 2023 ) 2021 [公元29年] Dieter Spreen公司 :
连续对象计算:统一共归纳方法。 数学。 结构。 计算。 科学。 31 ( 2 ) : 144-192 ( 2021 ) [公元28年] Dieter Spreen公司 :
通用信息系统捕获L域。 西奥。 计算。 科学。 869 : 1-28 ( 2021 ) [i11] Dieter Spreen公司 , 乌尔里希·伯杰 :
用无限对象计算:格雷码案例。 CoRR公司 abs/2105.14261 ( 2021 ) 2020 [i10] Dieter Spreen公司 :
连续对象计算:统一共诱导方法。 CoRR公司 abs/2004.05392 ( 2020 )
2010 – 2019
2017 [j27] Dieter Spreen公司 :
CID-使用无限数据进行计算。 牛。 EATCS公司 122 ( 2017 ) [公元26年] 安德烈·鲍尔 , 乌尔里希·伯杰 , 威廉·福凯 , Dieter Spreen公司 , Hideki Tsuiki先生 , 马丁·齐格勒 :
连续性、可计算性、可构造性:从逻辑到算法2014(特刊前言:连续性、计算性、构造性:2014年从逻辑到运算法则)。 J.日志。 分析。 9 ( 2017 ) [公元25年] 石原哈吉 , 玛格丽塔·科罗维纳 , 阿诺·保利 , 莫妮卡·塞森伯格 , Dieter Spreen公司 :
特刊前言:连续性、可计算性、可构造性:从逻辑到算法2013。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1285-1286 ( 2017 ) [公元24年] Dieter Spreen公司 :
一些结果与连续性问题有关。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1601-1624 ( 2017 ) [第九章] Dieter Spreen公司 :
有目击者的信息系统:功能空间的构建。 CoRR公司 腹肌/1702.05079 ( 2017 ) 2016 [公元23年] 乌尔里希·伯杰 , Dieter Spreen公司 :
使用紧集进行计算的共推方法。 J.日志。 分析。 8 ( 2016 ) [i8] Dieter Spreen公司 :
通用信息系统捕获L域。 CoRR公司 abs/1610.02260 ( 2016 ) 2015 [公元22年] 乌尔里希·伯杰 , 瓦斯科·布拉特卡 , 维克托·塞利瓦诺夫 , Dieter Spreen公司 , Hideki Tsuiki先生 :
专题前言:无限数据计算:拓扑和逻辑基础。 数学。 结构。 计算。 科学。 25 ( 7 ) : 1463-1465 ( 2015 ) [i7] 乌尔里希·伯杰 , Dieter Spreen公司 :
使用紧集进行计算的共导方法。 CoRR公司 abs/1510.08498 ( 2015 ) [i6] 迈·盖尔克 , 阿奇姆·荣格 , 维克托·塞利瓦诺夫 , Dieter Spreen公司 :
计算机科学中的二重性(Dagstuhl研讨会15441)。 达格斯图尔报告 5 ( 10 ) : 66-88 ( 2015 ) 2014 [第3页] Dieter Spreen公司 :
维克托·塞利瓦诺夫的生活和工作。 逻辑、计算、层次结构 2014 : 1-8 [第2页] Dieter Spreen公司 :
部分编号和预完成。 逻辑、计算、层次结构 2014 : 325-340 [第1页] Dieter Spreen公司 :
部分编号的同构定理。 逻辑、计算、层次结构 2014 : 341-382 [电子4] 瓦斯科·布拉特卡 , 汉内斯·迪纳 , Dieter Spreen公司 :
逻辑、计算、层次结构。 Ontos数理逻辑 4, 德古意特出版社 2014 ,国际标准图书编号 978-1-61451-804-4 [目录] 2013 [i5] 迈·盖尔克 , Jean-Eric别针 , 维克托·塞利瓦诺夫 , Dieter Spreen公司 :
计算机科学中的二重性(达格斯图尔研讨会13311)。 达格斯图尔报告 三 ( 7 ) : 54-73 ( 2013 ) 2012 [公元21年] 乌尔里希·伯杰 , 瓦斯科·布拉特卡 , 安德烈·莫罗佐夫 , Dieter Spreen公司 :
前言。 Ann.纯粹应用。 日志。 163 ( 8 ) : 973-974 ( 2012 ) 2011 [i4] 乌尔里希·伯杰 , 瓦斯科·布拉特卡 , 维克托·塞利瓦诺夫 , Dieter Spreen公司 , Hideki Tsuiki先生 :
用无限数据计算:拓扑和逻辑基础(Dagstuhl研讨会11411)。 达格斯图尔报告 1 ( 10 ) : 14-36 ( 2011 ) 2010 [公元20年] Dieter Spreen公司 :
多功能的有效性和有效连续性。 J.塞姆。 日志。 75 ( 2 ) : 602-640 ( 2010 ) [第10条] Dieter Spreen公司 :
每个D 0 2 \Delta ^0_2-集是自然的,直到图灵等价。 CiE公司 2010 : 386-393
2000 – 2009
2008 [j19] 拉尔夫·科珀曼 , 普拉卡什·帕南加登 , 迈克尔·B·史密斯 , Dieter Spreen公司 :
前言。 西奥。 计算。 科学。 405 ( 1-2 ) : 1-2 ( 2008 ) [公元18年] Dieter Spreen公司 , 徐罗山 , 毛旭新 :
重访信息系统——一般连续案例。 西奥。 计算。 科学。 405 ( 1-2 ) : 176-187 ( 2008 ) 【c9】 Dieter Spreen公司 :
关于有效多元函数的连续性。 计算机辅助控制 2008 : 271-286 2007 [电子3] 拉尔夫·科珀曼 , 普拉卡什·帕南加登 , 迈克尔·B·史密斯 , Dieter Spreen公司 :
空间、时间和因果关系建模的计算结构,20.08.- 25.08.2006. 达格斯图尔研讨会记录 06341, 德国达格斯图尔城堡国际信息学院(IBFI) 2007 [目录] 2006 [公元17年] 拉尔夫·科珀曼 , 普拉卡什·帕南加登 , 迈克尔·B·史密斯 , Dieter Spreen公司 , 朱利安·韦伯斯特 :
前言。 西奥。 计算。 科学。 365 ( 三 ) : 169-170 ( 2006 ) [i3] 拉尔夫·科珀曼 , 普拉卡什·帕南加登 , 迈克尔·B·史密斯 , Dieter Spreen公司 :
06341摘要集——模拟空间、时间和因果关系的计算结构。 用于建模空间、时间和因果关系的计算结构 2006 2005 [公元16年] Dieter Spreen公司 :
部分数的强可约性。 架构(architecture)。 数学。 日志。 44 ( 2 ) : 209-217 ( 2005 ) [公元15年] Serikzhan A.Badaev公司 , Dieter Spreen公司 :
关于偏数的一个注释。 数学。 日志。 问:。 51 ( 2 ) : 129-136 ( 2005 ) [公元14年] Dieter Spreen公司 :
构造性地考虑的最大笛卡尔闭域范畴。 数学。 结构。 计算。 科学。 15 ( 2 ) : 299-321 ( 2005 ) [电子2] 拉尔夫·科珀曼 , 迈克尔·B·史密斯 , Dieter Spreen公司 , 朱利安·韦伯斯特 :
空间表示:离散与连续计算模型。 达格斯图尔研讨会记录 04351, IBFI,德国达格斯图尔宫 2005 [目录] [i2] 拉尔夫·科珀曼 , 普拉卡什·帕南加登 , 迈克尔·B·史密斯 , Dieter Spreen公司 , 朱利安·韦伯斯特 :
04351摘要-空间表示:离散与连续计算模型。 空间表示 2005 [i1] 拉尔夫·科珀曼 , 普拉卡什·帕南加登 , 迈克尔·B·史密斯 , Dieter Spreen公司 , 朱利安·韦伯斯特 :
04351摘要集-空间表示:离散与连续计算模型。 空间表示 2005 2002 [j13] Dieter Spreen公司 :
重新审视安全弱最小化。 SIAM J.计算。 31 ( 5 ) : 1542-1556 ( 2002 ) 2001 [公元12年] Dieter Spreen公司 :
部分索引可以合计吗? J.塞姆。 日志。 66 ( 三 ) : 1157-1185 ( 2001 ) [公元11年] Dieter Spreen公司 :
表示与数字:关于两个可计算性概念的关系。 西奥。 计算。 科学。 262 ( 1 ) : 473-499 ( 2001 ) [公元10年] Dieter Spreen公司 :
“关于保持近似水平的函数:各种lambda演算的精细模型构造”的勘误表。 西奥。 计算。 科学。 266 ( 1-2 ) : 997-998 ( 2001 ) 2000 [公元9年] Dieter Spreen公司 :
勘误表。 J.塞姆。 日志。 65 ( 4 ) : 1917-1918 ( 2000 ) 【c8】 Dieter Spreen公司 :
多形Lambda演算的一种新模型构造。 LPAR公司 2000 : 275-292 [电子1] Dieter Spreen公司 , 拉尔夫·格雷布 , 霍尔格·舒尔茨 , 米歇尔·谢勒肯斯 :
1998年10月2日至4日,德国Remagen-Rolandseck豪斯·洪堡斯坦举办的第四次域名研讨会。 理论计算机科学电子笔记 35, 爱思维尔 2000 [目录]
1990 – 1999
1999 [j8] Dieter Spreen公司 :
“关于程序设计中的一些决策问题”的勘误表。 Inf.计算。 148 ( 2 ) : 241-244 ( 1999 ) [j7] Dieter Spreen公司 :
关于保持逼近水平的函数:各种lambda演算的精细模型构造。 西奥。 计算。 科学。 212 ( 1-2 ) : 261-303 ( 1999 ) 1998 [j6] Dieter Spreen公司 :
关于有效拓扑空间。 J.塞姆。 日志。 63 ( 1 ) : 185-221 ( 1998 ) 【c7】 Dieter Spreen公司 :
前言。 域研讨会 1998 : 1 1996 [j5] Dieter Spreen公司 :
拓扑设置中的有效不可分割性。 Ann.纯粹应用。 日志。 80 ( 三 ) : 257-275 ( 1996 ) 【c6】 Dieter Spreen公司 :
表示与编号:关于两个可计算性概念。 DMTCS公司 1996 : 387-401 1995 【j4】 Dieter Spreen公司 :
关于程序设计中的一些决策问题。 Inf.计算。 122 ( 1 ) : 120-139 ( 1995 ) 1992 [c5] Dieter Spreen公司 :
重新审视了有效的运营商和连续性。 LFCS公司 1992 : 459-469 1990 [j3] Dieter Spreen公司 :
有效域的可计算一对一枚举。 Inf.计算。 84 ( 1 ) : 26-46 ( 1990 )
1980 – 1989
1988 [注2] Dieter Spreen公司 :
关于自动机理论中的等价问题:一种统一的方法。 J.信息处理。 赛博。 24 ( 1/2 ) : 31-50 ( 1988 ) 1987 【c4】 Dieter Spreen公司 , 汉斯·斯塔尔 :
关于单值非确定性多项式时间计算的威力。 计算理论与逻辑 1987 : 403-414 【c3】 Dieter Spreen公司 :
关于在不确定多项式时间中可计算的函数:一些特征。 CSL公司 1987 : 289-303 【c2】 Dieter Spreen公司 :
有效域的可计算一对一枚举。 MFPS公司 1987 : 372-384 1983 【c1】 Dieter Spreen公司 :
关于CPO索引集的r.e.不可分割性。 逻辑和机器 1983 : 103-117 1981 [j1] Dieter Spreen公司 :
未贴现马尔可夫更新程序的多链策略迭代中的进一步反循环规则。 Z.操作。 研究 25 ( 7 ) : 225-233 ( 1981 )