@会议记录{cie:2006，title={计算障碍的逻辑方法，第二届欧洲可计算性会议，2006年CiE，英国斯旺西，2006年6月30日至7月5日，会议记录}，年份={2006}，tags={系统方法}，研究人员={https://researchr.org/publication/cie%3A2006},引用={0}，引用者={0}，booktitle={计算障碍的逻辑方法，第二届欧洲可计算性会议，CiE 2006，英国斯旺西，2006年6月30日-7月5日，Proceedings}，editor={阿诺德·贝克曼（Arnold Beckmann）、乌尔里希·伯杰（Ulrich Berger）、贝内迪克特·洛韦（Benedikt Löwe）和约翰·塔克（John V.Tucker）}，体积={3988}，series={计算机科学讲稿}，publisher={Springer}，isbn={3-540-35466-2}，}