北卡罗来纳州巴兹诺夫。;新泽西州格林伯格。;A.梅尔尼科夫。;R·米勒。;Ng、K.M。 关于可计算区分颜色的注释。 (英语) Zbl 1491.03026号 Lobachevskii J.数学。 42,第4号,693-700(2021).MSC公司:03C57号 03D45号 05C15号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazenov}等人,Lobachevskii J.数学。42,编号4,693--700(2021;Zbl 1491.03026) 全文: 内政部
卡里穆林,I.Sh。;R·米勒。 基本递归字段和范畴。 (英语。俄文原件) Zbl 1468.03043号 代数逻辑 58,第1号,95-99(2019); 摘自《代数逻辑》58,第1期,第132-138页(2019年)。MSC公司:03C57号 03D45号 12升12 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{I.Sh.Kalimulin}和\textit{R.Miller},代数逻辑58,第1号,95-99(2019;Zbl 1468.03043);《代数逻辑》58,No.1,132--138(2019)的译文 全文: 内政部
罗素·米勒 结构的可计算转换。 (英语) Zbl 1433.03085号 Kari,Jarkko(编辑)等人,《揭示动力学和复杂性》。2017年6月12日至16日在芬兰图尔库举行的第13届欧洲可计算性会议,CiE 2017。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10307, 88-97 (2017).MSC公司:03C57号 PDF格式BibTeX公司 XML格式引用 \textit{R.Miller},莱克特。注释计算。科学。10307、88--97(2017;Zbl 1433.03085) 全文: 内政部