×

找到499个文档（结果1-100）

最新的 引文 关联
托马斯·鲍威尔

关于Zorn引理的计算内容。 （英语） Zbl 1498.03153号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。768-781（2020年）。
MSC公司：35层03 2010年1月3日 03D65年 03E25型
PDF格式BibTeX公司 XML格式引用
\textit{T.Powell}，in：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。768--781（2020年；Zbl 1498.03153）
全文： 内政部 arXiv公司
托马斯·鲍威尔

好的拟阶和泛函解释。 （英语） 兹比尔1496.03234

Schuster，Peter M.（编辑）等人，《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆（DMV）内举行的关于良好准序：从理论到应用的小型研讨会，以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆：斯普林格。趋势日志。螺柱日志。天秤座。53, 221-269 (2020).
MSC公司：2010年1月3日 35楼03号 03D65年 03楼50 03E25型
PDF格式BibTeX公司 XML格式引用
\textit{T.Powell}，趋势日志。螺柱日志。天秤座。53、221--269（2020年；Zbl 1496.03234）
全文： 内政部 arXiv公司
菲利普·韦尔奇

超限机器理论的高级类型递归。 （英语） Zbl 1434.03113号

Manea，Florin（编辑）等人，《前瞻性与工业计算》。2019年7月15日至19日，在英国达勒姆举行的第15届欧洲可计算性会议，CiE 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11558, 72-83 (2019).
MSC公司：03D65年
PDF格式BibTeX公司 XML格式引用
\textit{P.韦尔奇}，莱克特。注释计算。科学。11558、72-83（2019年；Zbl 1434.03113）
全文： 内政部 链接
山姆·桑德斯

领域理论的逆向数学和可计算性理论。 （英语） Zbl 1530.03052号

罗莎莉·伊姆霍夫（编辑）等人，《逻辑、语言、信息和计算》。第26届国际研讨会，2019年7月2日至5日，荷兰乌得勒支WoLLIC 2019。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。11541, 550-568 (2019).
MSC公司：03B30型 03D65年 06B35号
PDF格式BibTeX公司 XML格式引用
\发短信{S.Sanders}，Lect。注释计算。科学。11541550-568（2019年；Zbl 1530.03052）
全文： 内政部
布鲁斯·卡普伦。;佛罗里达州斯坦伯格

第二类多项式时间和限制前瞻。 （英语） Zbl 1452.03097号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。579-588 (2018).
MSC公司：03D65年 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{B.M.Kapron}和\textit{F.Steinberg}，摘自：2018年第33届ACM/IEEE计算机科学逻辑年会论文集，2018年7月9日至12日，英国牛津。纽约州纽约市：计算机协会（ACM）。579-588（2018；Zbl 1452.03097）
全文： 内政部 arXiv公司
木原隆树

超算术内外的更高随机性和限制值强制。 （英语） Zbl 1448.03034号

Friedman，Sy-David（编辑）等人，《集合与计算》。新泽西州哈肯萨克：《世界科学》。莱克特。注释序列。，Inst.数学。科学。，国家。新加坡大学。33, 117-155 (2018).
MSC公司：03D65年 03天32分 03E40型 03日第10天 35楼03号
PDF格式BibTeX公司 XML格式引用
\textit{T.Kihara}，莱克特。Notes系列。，Inst.数学。科学。，国家。新加坡大学。33、117——155（2018；Zbl 1448.03034）
全文： 内政部
阿诺德·贝克曼;萨姆·巴斯;弗里德曼，Sy David;莫里茨·米勒;尼尔·萨彭

Cobham递归集函数和弱集理论。 （英语） Zbl 1448.03029号

Friedman，Sy-David（编辑）等人，《集合与计算》。新泽西州哈肯萨克：《世界科学》。莱克特。注释序列。，Inst.数学。科学。，国家。新加坡大学。33, 55-116 (2018).
MSC公司：2015年3月1日 03D20日 03D65年 03E70型
PDF格式BibTeX公司 XML格式引用
\textit{A.Beckmann}等人，Lect。注释序列。，Inst.数学。科学。，国家。新加坡大学。33、55-116（2018；Zbl 1448.03029）
全文： 内政部 链接
达格·诺曼

第三类泛函是分析中经典定理的实现者。 （英语） Zbl 1509.03135号

Manea，Florin（编辑）等人，《计算世界中的航海路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议，CiE 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10936118-327（2018年）。
MSC公司：03D65年 03E15年
PDF格式BibTeX公司 XML格式引用
\textit{D.Normann}，莱克特。注释计算。科学。10936118-327（2018年；兹比尔1509.03135）
全文： 内政部 链接
山姆·桑德斯

亚稳定性和高阶可计算性。 （英语） Zbl 1503.03040号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2018年1月8-11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10703, 309-330 (2018).
MSC公司：03D65年 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.桑德斯}，莱克特。注释计算。科学。10703、309--330（2018；Zbl 1503.03040）
全文： 内政部
山姆·桑德斯

从非标准分析到各种风格的可计算性理论。 （英语） Zbl 1459.03106号

Gopal，T.V.（编辑）等人，《计算模型的理论和应用》。2017年4月20日至22日在瑞士伯尔尼举行的2017年TAMC第14届年会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10185, 556-570 (2017).
MSC公司：05年3月 03B30型 03D65年
PDF格式BibTeX公司 XML格式引用
\textit{S.桑德斯}，莱克特。注释计算。科学。10185，556--570（2017；Zbl 1459.03106）
全文： 内政部 arXiv公司
山姆·桑德斯

非标准分析的计算内容。 （英语） Zbl 1486.03128号

Kohlenbach，Ulrich（编辑）等人，《第六届经典逻辑与计算国际研讨会论文集》，CL&C 2016，葡萄牙波尔图，2016年6月23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）21324-40（2016）。
MSC公司：05年3月 03B30型 03E70型 03层60 03D65年
PDF格式BibTeX公司 XML格式引用
\textit{S.桑德斯}，电子。程序。西奥。计算。科学。（EPTCS）21324--40（2016；Zbl 1486.03128）
全文： arXiv公司 链接
唐纳德·马丁。

\（Pi_2^1）单调归纳定义。 （英语） 兹比尔1431.03054

Kechris，Alexander S.（编辑）等人，顺序可定义性和递归理论。阴谋论研讨会，第三卷。论文和新材料的再版，基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）。莱克特。注释日志。第43476-492页（2016年）。
MSC公司：03日70 03D65年 03E15年
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Martin}，莱克特。注释日志。43、476--492（2016年；Zbl 1431.03054）
全文： 内政部
Phokion G.科莱蒂斯。

关于\（\mathbf{E}\）和半Spector类中的递归。 （英语） Zbl 1431.03056号

Kechris，Alexander S.（编辑）等人，顺序可定义性和递归理论。阴谋论研讨会，第三卷。论文和新材料的再版，基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）。莱克特。注释日志。43355-389（2016年）。
MSC公司：03D75号 03D65年 03日70
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Kolaitis}，莱克特。注释日志。43、355--389（2016；Zbl 1431.03056）
全文： 内政部
利奥·A·哈灵顿。;西奥多·斯莱曼（Theodore A.Slaman）。

递归理论论文。第六部分导言。 （英语） Zbl 1431.03051号

Kechris，Alexander S.（编辑）等人，顺序可定义性和递归理论。阴谋论研讨会，第三卷。论文和新材料的再版，基于1976年至1985年洛杉矶加州理工大学-加州大学洛杉矶分校逻辑阴谋论研讨会。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）。莱克特。注释日志。43, 349-354 (2016).
MSC公司：03D28号 03D65年 03E15年
PDF格式BibTeX公司 XML格式引用
\textit{L.A.Harrington}和\textit{T.A.Slaman}，莱克特。注释日志。43449-354（2016年；兹bl 1431.03051）
全文： 内政部
胡安·巴伦西亚（Juan A.Nido Valencia）。;Solís Daun，Julio E。;路易斯·席尔瓦（Luis M.Villegas Silva）。

在高等递归理论中，通过Horn公式表示递归可枚举集。 （英语） Zbl 1389.03008号

期间。数学。挂。 73，第1期，第1-15页（2016年）.
审核人：M.Yasuhara（普林斯顿）
MSC公司：03C70号 03D60年 03D65年 03E45型 03D75号
PDF格式BibTeX公司 XML格式引用
\textit｛J.A.Nido Valencia｝等人，《时代》。数学。挂。73，第1号，第1-15号（2016；Zbl 1389.03008）
全文： 内政部
Jens Erik芬斯塔德

一般递归理论。公理方法。斯普林格出版的1980年原版的再版。 （英语） Zbl 1365.03006号

逻辑观点剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（ISBN 978-1-107-16816-9/hbk；978-1-316-71707-3/电子书）。xii，225页。(2016).
MSC公司：03-02 03-01 03D75号 03D20日 03D25号 03日30分 03D55号 03D60年 03D65年 03日70
PDF格式BibTeX公司 XML格式引用
\textit{J.E.Fenstad}，一般递归理论。公理方法。斯普林格出版的1980年原版的再版。剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（2016；Zbl 1365.03006）
全文： 内政部
杰拉尔德·E·萨克斯（Gerald E.Sacks）。

高等递归理论。斯普林格出版的1990年原版的再版。 （英语） Zbl 1365.03011号

逻辑观点剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（ISBN 978-1-107-16843-5/hbk；978-1-316-71730-1/电子书）。xv，第344页。(2016).
MSC公司：03-02 03D60年 03D65年
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Sacks}，高等递归理论。斯普林格出版的1990年原版的再版。剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（2016；Zbl 1365.03011）
全文： 内政部
彼得·辛曼。

递归理论层次结构。斯普林格出版的1978年原版的再版。 （英语） Zbl 1365.03009号

逻辑观点剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（ISBN 978-1-107-16824-4/hbk；978-1-316-71711-0）。xii，480页。(2016).
MSC公司：03-02 03D60年 03D65年 03D55号 03E15年
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Hinman}，递归理论层次结构。斯普林格出版的1978年原版的再版。剑桥：剑桥大学出版社；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（2016；Zbl 1365.03009）
全文： 内政部 链接
维南西奥·卡普雷塔;塔尔莫乌斯塔卢

条递归和条归纳的联合视图。 （英语） Zbl 1474.03105号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 91-106 (2016).
MSC公司：03D65年 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{V.Capretta}和\textit{T.Uustalu}，莱克特。注释计算。科学。9634，91-106（2016；Zbl 1474.03105）
全文： 内政部 链接
塞勒斯·F·努拉尼。

代数可计算性和枚举模型。递归理论和描述复杂性。 （英语） Zbl 1439.03006号

佛罗里达州博卡拉顿：CRC出版社/苹果学术出版社（ISBN 978-1-77188-247-7/hbk；978-1-771 88-248-4/电子书）。xiv，295页。(2016).
MSC公司：03-02 03D20日 2015年3月1日 03D65年
PDF格式BibTeX公司 XML格式引用
\textit{C.F.Nourani}，代数可计算性和枚举模型。递归理论和描述性复杂性。佛罗里达州博卡拉顿：CRC出版社/苹果学术出版社（2016；Zbl 1439.03006）
全文： 内政部
菲利普·韦尔奇。

离散超限计算。 （英语） Zbl 1403.03060号

乔瓦尼（编辑）等，《图灵的革命》。他关于可计算性的思想的影响。查姆：Birkhäuser/Springer（ISBN 978-3-319-22155-7/hbk；978-3-3169-22156-4/电子书）。161-185 (2015).
MSC公司：03日第10天 03D65年 03E45型 03日30分
PDF格式BibTeX公司 XML格式引用
\textit{P.D.韦尔奇}，in：图灵革命。他的可计算性思想的影响。查姆：Birkhäuser/Springer。161-185（2015；Zbl 1403.03060）
全文： 内政部 arXiv公司
保罗·奥利瓦;托马斯·鲍威尔

经典分析中证明的博弈论计算解释。 （英语） Zbl 1378.03046号

Kahle，Reinhard（编辑）等人，Gentzen百年诞辰。追求一致性。查姆：施普林格（ISBN 978-3-319-10102-6/pbk；978-3-3169-10103-3/ebook）。501-531 (2015).
MSC公司：35层03 2010年1月3日 03D65年 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Oliva}和\textit{T.Powell}，in：Gentzen百年诞辰。追求一致性。查姆：斯普林格。501-531（2015；Zbl 1378.03046）
全文： 内政部 arXiv公司
费尔南多·费雷拉

Spector对分析一致性的证明。 （英语） Zbl 1378.03045号

Kahle，Reinhard（编辑）等人，Gentzen百年诞辰。追求一致性。查姆：施普林格（ISBN 978-3-319-10102-6/pbk；978-3-3169-10103-3/ebook）。279-300 (2015).
MSC公司：35层03 2010年1月3日 03D65年 30楼03号
PDF格式BibTeX公司 XML格式引用
\textit{F.Ferreira}，in：Gentzen百年诞辰。追求一致性。查姆：斯普林格。279--300（2015；Zbl 1378.03045）
全文： 内政部
约翰·朗利;达格·诺曼

高阶可计算性。 （英语） Zbl 1471.03002号

可计算性理论与应用柏林：施普林格出版社（ISBN 978-3-662-47991-9/hbk；978-3-562-47992-6/电子书）。十六、571页。（2015年）。
审核人：Iosif Petrakis（慕尼黑）
MSC公司：03-02 03D65年 03B38型 03B40型 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Longley}和\textit{D.Normann}，高阶可计算性。柏林：施普林格出版社（2015；Zbl 1471.03002）
全文： 内政部
杰拉尔德·E·萨克斯（Gerald E.Sacks）。

\（E）-递归2012。 （英语） Zbl 1336.03050号

Chong，Chitat（编辑）等，（E）-递归，强迫和（C^*）-代数。新泽西州哈肯萨克：世界科学（ISBN 978-981-4602-63-1/hbk；978-981-14603-25-6/pbk；978-14602-65-5/电子书）。讲座笔记系列。数学科学研究所。新加坡国立大学27，183-217（2014）。
MSC公司：03D60年 03D65年 03E40型
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Sacks}，莱克特。注释序列。，Inst.数学。科学。，国家。新加坡大学。27183-217（2014年；Zbl 1336.03050）
全文： 内政部
Chitat Chong公司（编辑）;冯，齐（编辑）;西奥多·斯莱曼（Theodore A.Slaman）。（编辑）;伍丁·W·休（编辑）;杨，岳（编辑）

\（E）-递归、强迫和（C^*）-代数。 （英语） Zbl 1295.03004号

课堂笔记系列。数学科学研究所。新加坡国立大学27.新泽西州哈肯萨克：世界科学（ISBN 978-981-4602-63-1/hbk；978-9814603-25-6/pbk；978-19602-65-5/电子书）。ix，第217页。(2014).
MSC公司：03-06 03D20日 03D65年 03E35号 03E40型 03E57型 03E75型
PDF格式BibTeX公司 XML格式引用
\textit｛C.Chong｝（编辑）等人，\（E\）-递归、强迫和\（C^*\）-代数。新泽西州哈肯萨克：世界科学（2014；Zbl 1295.03004）
全文： 内政部
朱利安·赫奇斯

用高阶泛函推广Nash定理。 （英语） Zbl 1348.91078号

程序。英国皇家学会。，序列号。A、 数学。物理。工程科学。 469，No.2154，文章ID 20130041，18 p.（2013）.
MSC公司：91A44型 91A10号 91A20型 03D65年
PDF格式BibTeX公司 XML格式引用
\textit{J.Hedges}，程序。英国皇家学会。，序列号。A、 数学。物理。工程科学。469，第2154号，文章ID 20130041，18页（2013；Zbl 1348.91078）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件