×

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

子结构格的图灵度和自同构群。 (英语。俄文原件) Zbl 1484.03076号

代数逻辑 59,第1号,18-32(2020年); 《代数逻辑》59,第1期,第27-47页(2020年)的译文。
PDF格式BibTeX公司 XML格式引用

线性命令的内聚力。 (英语) Zbl 1434.03095号

Manea,Florin(编辑)等人,《具有远见和工业的计算》。2019年7月15日至19日在英国达勒姆举行的第十五届欧洲可计算性会议(CiE 2019)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11558, 168-180 (2019).
MSC公司:03C57号
PDF格式BibTeX公司 XML格式引用

可计算代数中向量空间子结构格的自同构群。 (英语) Zbl 1477.03164号

贝克曼,阿诺德(编辑)等人,《追求宇宙》。第十二届欧洲可计算性会议,2016年6月27日至7月1日,法国巴黎,CiE 2016。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9709, 251-260 (2016).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

文档类型

出版年份

主字段