英戈·巴滕菲尔德
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2015 [j5] 英戈·巴滕菲尔德 , 马蒂亚斯·施罗德 :
观察诱导的上下功率空间结构。 J.日志。 代数方法课程。 84 ( 5 ) : 668-682 ( 2015 ) 2014 【j4】 英戈·巴滕菲尔德 , 克劳斯·凯梅尔 , 托马斯·斯特里彻 :
领域理论中的观测诱导代数。 日志。 方法计算。 科学。 10 ( 三 ) ( 2014 ) 2013 [j3] 英戈·巴滕菲尔德 :
比较自由dcpo-代数构造的方法。 J.日志。 代数方法课程。 82 ( 1 ) : 53-70 ( 2013 ) 【c6】 英戈·巴滕菲尔德 :
领域理论中的观测诱导代数。 ISDT公司 2013 : 21-37 2012 【c5】 英戈·巴滕菲尔德 :
笛卡尔闭范畴中的观测诱导效应。 MFPS公司 2012 : 43-56 2011 【c4】 英戈·巴滕菲尔德 , 马蒂亚斯·施罗德 :
观测诱导效应单体:上下功率空间结构。 MFPS公司 2011 : 105-119 2010 [注2] 英戈·巴滕菲尔德 :
比较拓扑域理论和经典域理论中的自由代数。 西奥。 计算。 科学。 411 ( 19 ) : 1900-1917 ( 2010 ) 【c3】 英戈·巴滕菲尔德 :
亚σ代数偏序集的区域理论研究(扩展抽象)。 CCA公司 2010 : 19-28
2000 – 2009
2008 【b1】 英戈·巴滕菲尔德 :
拓扑域理论。 英国爱丁堡大学, 2008 2007 【c2】 英戈·巴滕菲尔德 , 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
方便的域类别。 计算、意义和逻辑 2007 : 69-99 2006 [j1] 英戈·巴滕菲尔德 , 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
紧致生成域理论。 数学。 结构。 计算。 科学。 16 ( 2 ) : 141-161 ( 2006 ) 【c1】 英戈·巴滕菲尔德 :
拓扑域理论中的计算效应。 MFPS公司 2006 : 59-80 [i1] 英戈·巴滕菲尔德 , 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
一种方便的域类别。 模拟空间、时间和因果关系的计算结构 2006
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)