约翰内斯·马蒂;维尼马,伊德 余代数函子及其逻辑的松弛扩张。 (英语) Zbl 1328.03061号 J.计算。系统。科学。 81,5号,880-900(2015).MSC公司:03G30型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Marti}和\textit{Y.Venema},J.Compute。系统。科学。81,第5号,880--900(2015;Zbl 1328.03061) 全文: DOI程序
维尼马,伊德 自动机和不动点逻辑:一个联合的观点。 (英语) Zbl 1110.68066号 Inf.计算。 204,第4期,637-678(2006).MSC公司:65年第68季度 03B45号 03G30型 18立方厘米 70年第68季度 68问题85 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Venema},Inf.计算。204,第4号,637--678(2006;Zbl 1110.68066) 全文: DOI程序
库普克,克莱门斯;亚历山大·库兹;维尼马,伊德 石煤层。 (英语) Zbl 1075.68053号 西奥。计算。科学。 327,编号1-2,109-134(2004).MSC公司:68问题65 03B45号 03G25号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}等人,Theor。计算。科学。327,编号1--2,109-134(2004;Zbl 1075.68053) 全文: DOI程序