托马斯·维特莱恩 基于三角范数的全序幺半群。 （英语） Zbl 1329.06007号 Commun公司。代数 43，第7期，2643-2679（2015）。 审核人：米尔科·纳瓦拉（普拉哈） MSC公司：05年6月 03B52号 03E72型 2014年11月20日 PDF格式BibTeX公司 XML格式引用 \textit{T.Vetterlein}，Commun（社区）。代数43，第7期，2643--2679（2015；Zbl 1329.06007） 全文： 内政部
桑多·杰内 勘误表：“关于剩余链的反射不变性”。 （英语） Zbl 1221.03062号 Ann.纯粹应用。逻辑 161，第12期，1603-1604（2010）。MSC公司：03G25号 30楼06号 PDF格式BibTeX公司 XML格式引用 \textit{S.Jenei}，Ann.纯苹果。逻辑161，编号121603-1604（2010；Zbl 1221.03062） 全文： 内政部
詹内，桑多尔 关于剩余链的反射不变性。 （英语） Zbl 1181.03062号 Ann.纯粹应用。逻辑 161，第2期，220-227（2009）; 勘误表同上，161，第12号，1603-1604（2010）。 审核人：达纳·皮奇乌（克雷奥瓦） MSC公司：03G25号 30楼06号 PDF格式BibTeX公司 XML格式引用 \textit{S.Jenei}，Ann.纯苹果。逻辑161，No.2，220--227（2009；Zbl 1181.03062） 全文： 内政部
F.埃斯特瓦。;L.戈多。;诺格拉，C。 关于谓词Łukasiewicz、乘积、哥德尔和幂零最小逻辑的完备性结果，用真常数展开。 （英语） Zbl 1213.03035号 数学软件软计算。 14，第3期，233-246（2007）。MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{F.Esteva}等人，《数学软件计算》。14，第3号，233--246（2007；Zbl 1213.03035） 全文： 欧洲DML
萨姆森·艾布拉姆斯基 库克的有限非基础集之旅。 （英语） Zbl 1279.03073号 阿尔特莫夫、谢尔盖（编辑）等，我们将向他们展示！为纪念多夫·加巴伊60岁生日而写的论文。第1卷。伦敦：学院出版物（ISBN 1-904987-11-7/pbk；1-904987-25-7/hbk）。《致敬》1，1-18（2005）。MSC公司：03E70型 03B45号 03B70号 06B35号 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}，《致敬》1，1--18（2005；Zbl 1279.03073） 全文： arXiv公司
巴兹，马蒂亚斯;赫尔穆特·维思 模糊逻辑中的量词消除。 （英语） Zbl 0933.03022号 Gottlob，Georg（编辑）等人，《计算机科学逻辑》。1998年8月24日至28日在捷克共和国布尔诺举行的第十二届国际研讨会，1998年CSL，EACSL年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1584, 399-414 (1999).MSC公司：03B52号 03C10号机组 03B50号 72年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{H.Veith}，莱克特。注释计算。科学。1584399-414（1999；Zbl 0933.03022）
亚历山大·拉比诺维奇 关于连续时间规范形式的可判定性。 （英语） Zbl 0913.03018号 J.日志。计算。 8，第5号，669-678（1998）。MSC公司：03B25号 03B45号 05年3月 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，J.Log。计算。8，第5号，669--678（1998；Zbl 0913.03018） 全文： 内政部 链接
Hirokazu西村 连续模态模型理论中dedict的语义表征。 （英语） Zbl 0464.03021号 Z.数学。Logik Grundlagen数学。 27, 233-240 (1981)。MSC公司：03B45号 03B50号 03C40 PDF格式BibTeX公司 XML格式引用 \textit{H.Nishimura}，Z.数学。Logik Grundlagen数学。27233-240（1981年；兹bl 0464.03021） 全文： 内政部