沃尔克·迪克特;乔纳森·考什 图形产品中的日志空间计算。 (英语) Zbl 1325.68106号 Nabeshima,Katsusuke(编辑),第39届符号和代数计算国际研讨会论文集,ISSAC 2014,日本神户,2014年7月23日至25日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2501-1)。138-145 (2014). 引用于1文件 MSC公司: 65年第68季度 算法和问题复杂性分析 05元50分 图和线性代数(矩阵、特征值等) 05C76号 图形操作(线条图、产品等) 2010年1月20日 单词问题、其他决策问题、与逻辑和自动机的联系(群体理论方面) 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:算法群论 软件:乔丹 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{J.Kausch},摘自:第39届符号和代数计算国际研讨会论文集,ISSAC 2014,日本神户,2014年7月23日至25日。纽约州纽约市:计算机协会(ACM)。138--145(2014;Zbl 1325.68106) 全文: 内政部 arXiv公司 参考文献: [1] T.阿莱。数学逻辑。Iwanami Shoten,2011年。(日语)。 [2] A.教堂。关于Entscheidungs问题的注释。《符号逻辑杂志》,1:40 411936年·JFM 62.1058.04标准 [3] G.E.柯林斯。通过柱面代数分解对实闭elds进行Quanti.er消去。在自动化理论和形式语言第二届GI会议Kaiserslautern,计算机科学讲稿第33卷,第134183页。Springer-Verlag,1975年\"{} [4] K.G“{}模型.Uber formal unnetscheidbare S”{}数学原理与系统一.Monatsheft f“{}ur Mathematik,38(1):173 1981931·JFM 57.0054.02号 [5] T·C·黑尔斯。乔丹曲线定理,形式上和非正式地。《美国数学月刊》,114(10):882 8942007·Zbl 1137.03305号 [6] H.Iwane、H.Yanami、H.Anai和K.横山。一种用于量化消除的符号-数字柱面代数分解的有效实现。《理论计算机科学》,479:43 692013年·兹比尔1291.68433 [7] T.松崎、H.Iwane、H.Anai和N。阿拉伊。数学问题的复杂性是语言的还是计算的?《第六届国际自然语言处理联合会议记录》,第73 81页,2013年。 [8] T.松崎、H.Iwane、H.Anai和N。H.Arai。最缺乏创造力的考生:走向广泛覆盖的自然语言数学问题解决的第一步。2014年第28届AAAI人工智能会议记录。(出现)。 [9] J.罗宾逊。算术中的可分辨性和决策问题。符号逻辑杂志,14(2):98 1141949·Zbl 0034.00801号 [10] M.斯蒂德曼。句法过程。布拉德福德出版社。米特出版社,2001年。 [11] A.W.斯特泽博(A.W.Strzebo)。使用验证的数值进行圆柱代数分解。符号计算杂志,41(9):1021 10382006·Zbl 1124.68123号 [12] A.塔斯基。初等代数和几何的一种判定方法。加利福尼亚大学出版社,伯克利,1951年·Zbl 0044.25102号 [13] A.图灵。关于可计算数字,以及对Entscheidungsproblem的应用。伦敦数学学会会刊,42:230 2651936·Zbl 0016.09701号 [14] A.N.Whitehead和B.A.W.Russell。数学原理。剑桥大学出版社,剑桥,1910年、1912年和1913年。 [15] L.维特根斯坦。哲学调查/哲学Untersuchungen。牛津:巴兹尔·布莱克威尔,1953年·Zbl 1028.03003号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。