本杰明·拉尔夫 Herbrand证明和扩展证明作为分解证明。 (英语) 兹比尔07285905 J.日志。计算。 30,第8期,1711-1742(2020).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{B.Ralph},J.Log。计算。30,第8号,1711-1742(2020;Zbl 07285905) 全文: 内政部 OA许可证
佩卢斯,V.亚历克西斯 算术语境中的认识谓词。 (英语) Zbl 07285904号 J.日志。计算。 30,第8期,1695-1709(2020).MSC公司:30楼03号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Peluce},J.日志。计算。30,第8号,1695--1709(2020;Zbl 07285904) 全文: 内政部
费多尔·帕霍莫夫;亚历山大·扎普里阿盖夫 普雷斯伯格算法本身的多维解释。 (英语) 兹比尔07285903 J.日志。计算。 30,第8期,1681-1693(2020).MSC公司:30楼03号 35层03 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{F.Pakhomov}和\textit{A.Zapriagaev},J.Log。计算。30,第8号,1681--1693(2020;Zbl 07285903) 全文: 内政部 arXiv公司
达格·诺曼;山姆·桑德斯 可计算性理论和逆向数学中的开集。 (英语) Zbl 1472.03012号 J.日志。计算。 30,第8期,1639-1679(2020). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 03D65年 35楼03号 03天80 03层60 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann}和\textit{S.Sanders},J.Log。计算。30,第8号,1639--1679(2020;Zbl 1472.03012) 全文: 内政部 arXiv公司
刘燕红A。;斯科特·斯托勒。 建立了逻辑规则的语义和约束语义。 (英语) 兹比尔07285901 J.日志。计算。 1609-1668(2020)第8期第30页.MSC公司:68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Liu}和\textit{S.D.Stoller},J.Log。计算。30,第8号,1609--1668(2020;Zbl 07285901) 全文: 内政部 arXiv公司
Miika Hannula公司;朱哈·科廷宁;乔尼·维特玛 Polyteam语义。 (英语) Zbl 1505.03071号 J.日志。计算。 30,第8期,1541-1566(2020).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hannula}等人,J.Log。计算。30,第8号,1541--1566(2020;Zbl 1505.03071) 全文: 内政部 链接
托马斯·麦考利·弗格森 对可构造错误和Heyting-Brouwer逻辑的证明/反驳交互作用进行明确分析。 (英语) Zbl 07285899号 J.日志。计算。 30,第8期,1505-1540(2020).MSC公司:03B20型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Ferguson},J.Log。计算。30,第8号,1505--1540(2020;Zbl 07285899) 全文: 内政部
汉内斯·迪纳;罗伯特·卢巴斯基 粗糙度和亚稳态的概念。 (英语) Zbl 07285898号 J.日志。计算。 第8期第30期,1487-1504页(2020年).MSC公司:03层60 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Diener}和\textit{R.Lubarsky},J.Log。计算。30,第8号,1487--1504(2020;Zbl 07285898) 全文: 内政部
凯·布伦勒;弗鲁米尼、丹多洛;托马斯·施图德 区块链更新的逻辑。 (英语) Zbl 07285897号 J.日志。计算。 30,第8期,1469-1485(2020).MSC公司:68第05页 03B42号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Brünnler}等人,J.Log。计算。30,第8号,1469--1485(2020;Zbl 07285897) 全文: 内政部 arXiv公司
马提亚斯·巴兹;亚历山大·莱奇;阿内拉·洛里奇 第一个ε定理的抽象形式。 (英语) Zbl 07285896号 J.日志。计算。 30,第8期,1447-1468(2020).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}等人,J.Log。计算。30,第8号,1447--1468(2020;Zbl 07285896) 全文: 内政部
谢尔盖·阿特莫夫 合理化意识。 (英语) 兹比尔1496.03068 J.日志。计算。 30,第8期,1431-1446(2020).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov},J.日志。计算。30,第8号,1431-1446(2020;Zbl 1496.03068) 全文: 内政部
谢尔盖·阿特莫夫(编辑);尼禄,阿尼尔(编辑) 编辑。 (英语) Zbl 1531.00044号 J.日志。计算。 1429年8月30日(2020年).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}(编辑)和\textit{A.Nerode}(主编),J.Log。计算。30,第8号,1429(2020;Zbl 1531.00044) 全文: 内政部