数学论文（无限时间图灵机） (7-6)

[HM07]乔尔·大卫·哈姆金斯和拉塞尔·米勒。有序寄存器机的Post问题。在巴里Cooper、Benedikt L¨owe和Andrea Sorbi，《真实世界中的计算与逻辑》的编辑-第三届欧洲可计算性会议CiE 2007，论文集第4497卷，讲义计算机科学，意大利锡耶纳，2007年。

[HM09]乔尔·大卫·哈姆金斯和拉塞尔·米勒。有序寄存器机的Post问题：一个显式方法《纯粹与应用逻辑年鉴》，160（3）：302-3092009。

[HMW07]J.D.Hamkins、ler、abold和S.Warner。无限时间可计算模型理论。在里面S.oper、Benedikt L¨owe和Andrea Sorbi，编辑，《新计算范式：变化》《什么是可计算的概念》，第521–557页。施普林格，2007年。

[HS01]乔尔·大卫·哈姆金斯和丹尼尔·西博尔德。只有一个磁带的无限时间图灵机。《数理逻辑季刊》，47（2）：271–2872001。

[HW03]乔尔·大卫·哈姆金斯和菲利普·韦尔奇。Pf≠NPf对于几乎所有的f。《数理逻辑季刊》，49(5):536–540, 2003.

[KK06]Peter Koepke和Martin Koervien。顺序计算。数学结构计算。Sci。，16(5):867–884, 2006.

[Koe05]彼得·科普克。序数上的图灵计算。符号逻辑公报，11（3）：377–3972005年9月。

[KS06]Peter Koepke和Ryan Siders。在序数上注册计算。提交至：数学逻辑档案馆，2006年。

[KS09]Peter Koepke和Benjamin Seyfferth。序数机和容许递归理论。安。

纯应用程序。逻辑，160（3）：310–3182009。

[L¨01]Benedikt L¨owe。修订顺序和计算机n无限长的时间。逻辑计算。，11(1):25–40, 2001.

[LM04]贾科莫·伦齐和埃里希·蒙特里昂。关于不动点算术和无限时间图灵机。

信息处理信函，91（3）：121-1282004。

[Sch03]拉尔夫·迪特尔·辛德勒。P≠无限时间图灵机的NP。马西马蒂克国王，139(4):335–340, 2003.

[ST11]Scott Schneider和Simon Thomas。可数的Borel等价关系。在阿巴拉契亚地区理论2006–2010、2011。

菲利普·韦尔奇。关于Deolalikar、Hamkins和Schindler的问题。

菲利普·韦尔奇。弗里德曼的诀窍：无穷时间图灵度中的极小性论点。在“集合《美国手语逻辑学术讨论会论文集》，258:425-4361999年。

菲利普·韦尔奇。最终无限时间图灵机度：无限时间可判定实数。符号逻辑杂志，65（3）：1193–12032000。

菲利普·韦尔奇。无限时间图灵机计算的长度。伦敦公报数学学会，32（2）：129-1362000。

菲利普·韦尔奇。1个磁带图灵机的超限动作。巴里·S·库珀和贝内迪克特L¨owe，编辑，《新计算范式》，LNCS第3526卷，阿姆斯特丹，2005年6月8日至12日。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。