南部邦齐奥。;T·莫拉希尼。;普拉·巴尔迪,M。 左变量包含逻辑与矩阵的Płonka和。 (英语) Zbl 1491.03088号 架构(architecture)。数学。逻辑 60,编号1-2,49-76(2021). 审核人:亚历克斯·西特金(沃伦) MSC公司:03G27号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bonzio}等人,Arch。数学。逻辑60,编号1--2,49-76(2021;Zbl 1491.03088) 全文: DOI程序 arXiv公司
乔昂·阿劳乔;科涅茨尼,Janusz 一种为半群类寻找新公理集的方法。 (英语) Zbl 1262.20059号 架构(architecture)。数学。逻辑 51,第5-6号,461-474(2012). 审核人:佩德罗·桑切斯·特拉夫(科尔多瓦) MSC公司:2007年7月20日 20号02 20A05年 08B05号 20平方米 08A02号 03C05号机组 2010年20月 PDF格式BibTeX公司 XML格式引用 \textit{J.Araüjo}和\textit{J.Konieczny},Arch。数学。逻辑51,No.5--6,461--474(2012;Zbl 1262.20059) 全文: DOI程序 链接