Dagstuhl研讨会论文集:模拟空间、时间和因果关系的计算结构2006
拉尔夫·科珀曼 , 普拉卡什·帕南加登 , 迈克尔·B·史密斯 , Dieter Spreen公司 :
空间、时间和因果关系建模的计算结构,20.08.- 25.08.2006. 达格斯图尔研讨会记录 06341, 德国达格斯图尔宫国际展览中心-und Forschungszentrum fuer Informatik(IBFI) 2007 霍华德·布莱尔 :
离散、连续和混合空间上的初等微分学。 马丁·玛丽亚·科瓦尔 :
隐藏在现实中的即时拓扑关系。 英戈·巴滕菲尔德 , 马蒂亚斯·施罗德 , 亚历克斯·辛普森 :
一种方便的域类别。 约翰·普法尔茨 :
结束和因果关系。 蒂莫西·波特 :
丰富了双足类空间的类别和模型。 拉尔夫·科珀曼 , 普拉卡什·帕南加登 , 迈克尔·B·史密斯 , Dieter Spreen公司 :
06341摘要集——模拟空间、时间和因果关系的计算结构。