×

找到37个文档（结果1-37）

最新的 引文 关联
瓦斯科·布拉特卡

关于学习计划的复杂性。 （英语） Zbl 07787579号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，CiE 2023，格鲁吉亚巴统，2023年7月24日至28日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。13967, 166-177 (2023).
MSC公司：03B70号 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Brattka}，莱克特。票据计算。科学。13967、166--177（2023年；Zbl 07787579）
全文： 内政部 arXiv公司
Kihara，Takayuki木原;阿诺·保利

表示空间的De groot对偶。 （英语） Zbl 07787573号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，CiE 2023，格鲁吉亚巴统，2023年7月24日至28日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。13967, 89-101 (2023).
MSC公司：03B70号 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Kihara}和\textit{A.Pauly}，莱克特。票据计算。科学。13967，89-101（2023；Zbl 07787573）
全文： 内政部
罗素·米勒

斯科特理想的直接构建。 （英语） Zbl 07787568号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，CiE 2023，格鲁吉亚巴统，2023年7月24日至28日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。第13967页，第23-34页（2023年）。
MSC公司：03B70号 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Miller}，莱克特。票据计算。科学。13967，23-34（2023；Zbl 07787568）
全文： 内政部
维克托·塞利瓦诺夫

Boole vs Wadge：比较描述性集合论的两种基本工具。 （英语） Zbl 07627936号

Berger，Ulrich（编辑）等人，《可计算性的革命与启示》。第18届欧洲可计算性会议，2022年7月11日至15日，英国斯旺西，CiE 2022。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。13359, 287-298 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Selivanov}，莱克特。票据计算。科学。13359，287--298（2022；Zbl 07627936）
全文： 内政部
马修·德·布莱希特;Kihara，Takayuki木原;维克托·塞利瓦诺夫

有效拟Polish空间的枚举类。 （英语） Zbl 07627920号

Berger，Ulrich（编辑）等人，《可计算性的革命与启示》。第18届欧洲可计算性会议，2022年7月11日至15日，英国斯旺西，CiE 2022。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。13359, 88-102 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.de Brecht}等人，Lect。票据计算。科学。13359，88-102（2022；Zbl 07627920）
全文： 内政部
瓦斯科·布拉特卡（编辑）;诺姆·格林伯格（编辑）;伊斯坎德卡利穆林（编辑）;玛丽亚·索斯科娃（编辑）

可计算性理论。2021年4月25日至5月1日举行的研讨会（混合会议）摘要。 （英语） Zbl 1506.00048号

Oberwolfach代表。 18，第2期，1149-1190（2021）.
MSC公司：00亿05 00时25分 03-06 68-06 03年月日 03立方厘米30 03C57号 03Fxx公司 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Brattka}（编辑）等人，Oberwolfach Rep.18，No.2，1149--1190（2021；Zbl 1506.00048）
全文： 内政部
维克托·塞利瓦诺夫

有效涉水等级制度的不崩溃。 （英语） Zbl 07495187号

De Mol，Liesbeth（编辑）等人，《与可计算性的联系》。第17届欧洲可计算性会议，CiE 2021，虚拟事件，比利时根特，2021年7月5日至9日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。12813, 407-416 (2021).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Selivanov}，莱克特。票据计算。科学。12813、407--416（2021；Zbl 07495187）
全文： 内政部 arXiv公司
马修·德·布莱希特

关于理想空间和可计算拓扑的一些注记。 （英语） Zbl 07633494号

Anselmo，Marcella（编辑）等人，《超越可计算性的视野》。第十六届欧洲可计算性会议，CiE 2020，意大利费西亚诺，2020年6月29日至7月3日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。12098, 26-37 (2020).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.de Brecht}，莱克特。票据计算。科学。12098，26-37（2020；Zbl 07633494）
全文： 内政部 arXiv公司
尼古拉·巴热诺夫;斯特凡·瓦特夫

关于序数及其反转的可计算嵌入的注释。 （英语） Zbl 07633492号

Anselmo，Marcella（编辑）等人，《超越可计算性的视野》。第十六届欧洲可计算性会议，CiE 2020，意大利费西亚诺，2020年6月29日至7月3日。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。12098, 1-13 (2020).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Bazhenov}和\textit{S.Vatev}，莱克特。票据计算。科学。12098，1-13（2020；Zbl 07633492）
全文： 内政部 arXiv公司
让·古鲍特·拉雷克;贾晓东

扩展概率幂域monad的代数。 （英语） 兹伯利07513471

Jung，Achim（编辑）等，第八届领域理论及其应用国际研讨会论文集，2019年ISDT，中国扬州，2019月14-17日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。345, 37-61 (2019).
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Goubault-Larrecq}和textit{X.Jia}，电子。注释Theor。计算。科学。345，37-61（2019年；兹bl 07513471）
全文： 内政部 arXiv公司
马修·德·布莱希特;让·古鲍特·拉雷克;贾晓东;吕振超

域完备和LCS-完备空间。 （英语） Zbl 07513470号

Jung，Achim（编辑）等，第八届领域理论及其应用国际研讨会论文集，2019年ISDT，中国扬州，2019月14-17日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。345, 3-35 (2019).
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.de Brecht}等人，《电子》。注释Theor。计算。科学。345，3--35（2019；Zbl 07513470）
全文： 内政部 arXiv公司
亚历山大·巴尔塔格;尼娜·吉拉西姆祖克;斯梅茨，索尼娅

归纳问题的可解性：认知拓扑学研究。 （英语） Zbl 1483.68367号

Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）21581-98（2016）。
MSC公司：68T27型 03B42型 68问题32 68T20型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}等人，《电子》。程序。西奥。计算。科学。（EPTCS）21581--98（2016；Zbl 1483.68367）
全文： arXiv公司 链接
高自远;弗兰克·斯蒂芬;吴国华;山本明弘

拟阵中闭集族的学习。 （英语） Zbl 1353.68150号

Dinneen，Michael J.（编辑）等人，《计算、物理及其他》。2012年2月21日至24日，新西兰奥克兰，克里斯蒂安·卡鲁德60岁生日之际，举办了2012年WTCS国际理论计算机科学研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-27653-8/pbk）。计算机科学讲义7160120-139（2012）。
MSC公司：68问题32 05B35号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Gao}等人，Lect。票据计算。科学。7160、120--139（2012；Zbl 1353.68150）
全文： 内政部
马丁·齐格勒

具有最小离散建议的实际计算：非均匀可计算性的复杂性理论及其在有效线性代数中的应用。 （英语） Zbl 1259.03059号

Ann.纯粹应用。逻辑 163，第8期，1108-1139（2012）.
审核人：丹尼尔·格拉萨（法罗）
MSC公司：03D78号 03D45号 2015年3月1日 2017年第68季度 65层99
PDF格式BibTeX公司 XML格式引用
\textit{M.Ziegler}，Ann.纯苹果。逻辑163，No.8，1108--1139（2012；Zbl 1259.03059）
全文： 内政部
马修·德·布莱希特;山本明弘

概念空间的拓扑性质。 （英语） Zbl 1157.68038号

Freund，Yoav（编辑）等人，《算法学习理论》。第19届国际会议，ALT 2008，匈牙利布达佩斯，2008年10月13-16日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87986-2/pbk）。计算机科学讲义5254。《人工智能讲义》，374-388（2008）。
MSC公司：68问题32 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{M.de Brecht}和\textit{A.Yamamoto}，莱克特。票据计算。科学。5254、374--388（2008年；Zbl 1157.68038）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件