里巴科夫,V。;V.基亚特金。;特齐勒,M。 表前逻辑中可接受规则的独立基础。 (英文) Zbl 0956.03024号 日志。J.IGPL公司 7,第2期,253-266(1999). 审核人:V.Shekhtman(莫斯科) MSC公司:03B45号 03B55号 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}等人,日志。J.IGPL 7,第2期,253--266(1999;Zbl 0956.03024) 全文: DOI程序
尼古拉斯·佩尔蒂埃 修剪搜索空间并在tableaux中提取更多模型。 (英文) Zbl 0949.03013号 日志。J.IGPL公司 7,第2期,217-251(1999).MSC公司:03B35型 68吨15 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{N.佩尔蒂埃},日志。J.IGPL 7,第2期,217--251(1999;Zbl 0949.03013) 全文: DOI程序
德奥利维拉(de Oliveira)、安若琳娜·格里西(Anjolina Grisi);de Queiroz,Ruy J.G.B。 标记自然演绎方程式片段的归一化过程。 (英文) Zbl 0923.03064号 日志。J.IGPL公司 7,第2期,173-215(1999). 审核人:M.Yasuhara(普林斯顿) MSC公司:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.G.de Oliveira}和\textit{R.J.G.B.de Queiroz},Log。J.IGPL 7,第2期,173--215(1999;Zbl 0923.03064) 全文: DOI程序
克里斯·布林克;英格丽德·雷维茨基 有限有限程序关系。 (英文) Zbl 0927.68013号 日志。J.IGPL公司 7,第2期,153-172(1999).MSC公司:68号01 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Brink}和\textit{I.Rewitzky},日志。J.IGPL 7,第2期,153--172(1999;Zbl 0927.68013) 全文: DOI程序
珍妮·伊夫·贝齐奥 经典否定可以用它的一半来表达。 (英文) Zbl 0924.03012号 日志。J.IGPL公司 7,第2期,145-151(1999). 审核人:A.Tauts(塔林) MSC公司:03B05号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.贝齐奥},日志。J.IGPL 7,第2期,145--151(1999;Zbl 0924.03012) 全文: DOI程序