伊恩·普拉特·哈特曼;利迪亚·坦德拉 具有及物关系的带凹槽碎片。 (英语) Zbl 1490.03010号 Ann.纯粹应用。逻辑 173,第1期,文章ID 103042,43页(2022). 审核人:马里奥·阿尔维亚诺(伦德) MSC公司:03B10号机组 2017年第68季度 19年第68季度 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann}和\textit{L.Tendra},Ann.Pure Appl。逻辑173,第1号,文章ID 103042,43页(2022;Zbl 1490.03010) 全文: 内政部 arXiv公司 链接
丹尼尔·蒙迪奇 概率蕴涵的微分。 (英语) Zbl 1465.60004号 Ann.纯粹应用。逻辑 172,第6号,文章ID 102945,第22页(2021).MSC公司:60A05型 03B48号 60A10英寸 60B05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Mundici},Ann.纯苹果。逻辑172,第6号,文章ID 102945,22页(2021;Zbl 1465.60004) 全文: 内政部
马提亚斯·巴兹;Preining,诺伯特 关于一阶哥德尔逻辑的分类。 (英语) Zbl 1445.03034号 Ann.纯粹应用。逻辑 170,第1期,第36-57页(2019年). 审核人:Albert Hoogewijs(根特) MSC公司:03B50号 03B52号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{N.Preining},Ann.Pure Appl。逻辑170,编号1,36-57(2019;Zbl 1445.03034) 全文: 内政部
塞缪尔·R·巴斯。 通过证明复杂性和搜索走向NP-P。 (英语) Zbl 1257.03086号 Ann.纯粹应用。逻辑 163,第7期,906-917(2012). 审核人:奥拉夫·拜尔斯多夫(利兹) MSC公司:20层03 03B05号 2015年3月1日 2015年第68季度 2017年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss},Ann.纯粹应用。逻辑163,No.7,906--917(2012;Zbl 1257.03086) 全文: 内政部
弗朗西斯科·西罗洛 对可满足性的建设性研究。 (英语) Zbl 1246.03023号 Ann.纯粹应用。逻辑 163,第2期,111-121(2012). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B20型 03财年03 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo},Ann.纯粹应用。逻辑163,No.2,111--121(2012;Zbl 1246.03023) 全文: 内政部
伊恩·霍德金森 线性和实时上一元保护碎片的复杂性。 (英语) 邮编1093.03009 Ann.纯粹应用。逻辑 138,编号1-3,94-125(2006).MSC公司:03B44号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson},Ann.《纯粹的应用》。逻辑138,编号1--3,94-125(2006;Zbl 1093.03009) 全文: 内政部 链接
巴哈雷赫巴德班;雅各布·范德波尔 BDD中的零、继承和平等。 (英语) Zbl 1064.03009号 Ann.纯粹应用。逻辑 133,编号1-3,101-123(2005).MSC公司:03B20型 03B25号 03B35型 第68页第15页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{J.van de Pol},Ann.纯应用。逻辑133,编号1--3,101-123(2005;Zbl 1064.03009) 全文: 内政部 链接
丹钦、叶夫根尼;迈克尔·加夫里洛维奇;爱德华·赫施。;鲍里斯·科涅夫 MAX SAT近似超出多项式时间近似的限制。 (英语) Zbl 0990.03006号 Ann.纯粹应用。逻辑 113,编号1-3,81-94(2002).MSC公司:03B35型 68周25 65年第68季度 03B05号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Dantsin}等人,Ann.Pure Appl。逻辑113,编号1--3,81-94(2002;Zbl 0990.03006) 全文: 内政部