费卢西奥·圭迪;克劳迪奥·萨塞尔多蒂·科恩 数学知识检索综述。 (英语) Zbl 1409.68085号 数学。计算。科学。 10,第4号,409-427(2016).理学硕士:68第20页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Guidi}和\textit{C.Sacerdoti Coen},数学。计算。科学。10,第4号,409--427(2016;Zbl 1409.68085) 全文: 内政部 arXiv公司
叶夫根·克鲁格洛夫;克里斯托夫·韦登巴赫 叠加决定了基础理论上的一阶逻辑碎片。 (英语) Zbl 1262.68160号 数学。计算。科学。 6,第4期,427-456(2012).理学硕士:68吨15 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Kruglov}和\textit{C.Weidenbach},数学。计算。科学。6,第4号,427--456(2012;Zbl 1262.68160) 全文: 内政部
阿诺德·菲埃茨克;克里斯托夫·韦登巴赫 叠加作为时间自动机的一个决策过程。 (英语) Zbl 1262.68159号 数学。计算。科学。 6,第4期,409-425(2012).理学硕士:68吨15 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fietzke}和\textit{C.Weidenbach},数学。计算。科学。6,第4号,409--425(2012;Zbl 1262.68159) 全文: 内政部