×

找到39个文档(结果1-39)

无数的经典和量子复杂性类。 (英语) Zbl 1425.68126号

MSC公司:2015年第68季度 2005年第68季度 2012年第68季度 81页68
PDF格式BibTeX公司 XML格式引用

(\mathrm{ASPACE}(\log\logn)\)中的一元编码PSPACE完整语言。 (英语) Zbl 1423.68252号

Weil,Pascal(编辑),《计算机科学——理论与应用》。2017年6月8日至12日,在俄罗斯喀山举行的第12届国际计算机科学研讨会,CSR 2017。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10304, 141-153 (2017).
MSC公司:65年第68季度 2005年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交替恶魔空间在亚对数空间的补码和其他模拟下是封闭的。 (英语) Zbl 1359.68095号

Brlek,Srečko(编辑)等人,《语言理论的发展》。2016年7月25日至28日,第20届国际会议,DLT 2016,加拿大蒙特利尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53131-0/pbk;978-3-562-53132-7/电子书)。计算机科学讲座笔记9840190-202(2016)。
MSC公司:2015年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

语言、可判定性和复杂性。 (英语) Zbl 1304.68104号

Seatzu,Carla(编辑)等人,《离散事件系统的控制》。自动机和Petri网透视图。纽约州纽约:施普林格出版社(ISBN 978-1-4471-4275-1/pbk;978-1-4471-4276-8/电子书)。《控制与信息科学课堂讲稿》433,23-43(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在小空间中分解和测试素数。 (英语) Zbl 1206.68144号

Nielsen,Mogens(编辑)等人,SOFSEM 2009:计算机科学的理论与实践。2009年1月24日至30日,第35届计算机科学理论与实践当前趋势会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-95890-1/pbk)。计算机科学课堂讲稿5404291-302(2009)。
MSC公司:65年第68季度 11A41号机组 2016年11月 2005年第68季度
PDF格式BibTeX公司 XML格式引用

关于单卵石二维图灵机的注记。 (英语) Zbl 1173.68519号

Del Lungo,Alberto(编辑)等人,第九届组合图像分析国际研讨会。研讨会论文,意大利巴勒莫,2003年5月14日至16日。阿姆斯特丹:爱思唯尔。离散数学电子笔记12,360-371(2003)。
MSC公司:2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于二维图灵机和有限自动机的一些结果。 (英语) Zbl 1508.68203号

Reichel,Horst(编辑),《计算理论基础》。1995年8月22日至25日,第十届国际会议,FCT’95,德国德累斯顿。诉讼程序。柏林:Springer-Verlag。莱克特。票据计算。科学。965, 374-382 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份