×

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

可在多项式时间内计算的商结构和群。 (英语) Zbl 07615729号

库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。第17届俄罗斯国际计算机科学研讨会,CSR 2022,虚拟活动,2022年6月29日至7月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13296, 35-45 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可在多项式时间内计算的代数数字段。二、。 (英语。俄文原件) Zbl 1515.03158号

代数逻辑 60,第6号,349-359(2022); 《代数逻辑60》第6期第533-548页(2021年)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

迭代预订单的复杂性问题。 (英语) Zbl 07614737号

Han,Yo-Sub(编辑)等,形式系统的描述复杂性。第23届IFIP WG 1.02国际会议,DCFS 2021,虚拟活动,2021年9月5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13037, 1-12 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

搜索可计算结构的适用版本。 (英语) Zbl 07495151号

De Mol,Liesbeth(编辑)等人,《与可计算性的联系》。第17届欧洲可计算性会议,CiE 2021,虚拟事件,比利时根特,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12813, 1-11 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多项式时间代数结构的可定义子集。 (英语) Zbl 07603918号

Fernau,Henning,《计算机科学——理论与应用》。2020年6月29日至7月3日,俄罗斯叶卡捷琳堡,第15届俄罗斯国际计算机科学研讨会,CSR 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12159, 142-154 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

构造准时范畴半群。 (英语。俄文原件) Zbl 1480.03024号

代数逻辑 59,第5期,408-411(2020年); 摘自《代数逻辑》59,第5期,600-605(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可在多项式时间内计算的代数数字段。一、。 (英语。俄文原件) 兹比尔1484.03058

代数逻辑 58,第6期,447-469(2020); 摘自《代数逻辑》58,第6期,673-705(2019)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数结构的准时副本。 (英语。俄文原件) Zbl 1468.03051号

同胞。数学。J。 60,第6期,993-1002(2019); 来自Sib的翻译。材料Zh。60,第6期,1271-1285(2019)。
MSC公司:03天45分 03C57
PDF格式BibTeX公司 XML格式引用
全文: 内政部

代数数域的多项式可计算性。 (英语。俄文原件) Zbl 1453.03046号

多克。数学。 98,第1号,341-343(2018); Dokl翻译。阿卡德。恶心,罗斯。阿卡德。Nauk 481,No.4,355-357(2018)。
MSC公司:03天45分 03C57
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份