@第{berger_et_al:DagRep.1.10.14条，author={伯杰、乌尔里希和布拉特卡、瓦斯科和塞利瓦诺夫、维克多和斯普林、迪特和翠基、希德基}，title={{用无限数据计算：拓扑和逻辑基础（Dagstuhl研讨会11411）}}，页数={14--36}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2012}，体积={1}，数字={10}，editor={伯杰、乌尔里奇和布拉特卡、瓦斯科和塞利瓦诺夫、维克多和斯普林、迪特和翠基、希德基}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.10.14（https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.10.14）},URN={URN:nbn:de:0030-drops-33721}，doi={10.4230/DagRep.1.10.14}，annote={关键词：精确实数计算、流计算、无限计算、分析中的可计算性、层次结构、可约简性、拓扑复杂性}}
