冈瑟·施密特;克劳迪娅·哈特登斯佩格;温特,迈克尔 异构关系代数。 (英语) Zbl 0961.03061号 Chris Brink等人,《计算机科学中的关系方法》。维恩:施普林格。计算机科学进展。39-53 (1997).MSC公司:03G15年 68号30 08A70号 08年68月 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt}等人,in:计算机科学中的关系方法。维恩:施普林格。39-53(1997;Zbl 0961.03061)
彼得·吉普森;克里斯·布林克;冈瑟·施密特 背景材料:“计算机科学中的关系方法”。 (英语) 兹比尔0879.08006 Chris Brink等人,《计算机科学中的关系方法》。维恩:施普林格。计算机科学进展。1-21 (1997).MSC公司:08A70号 08A02号 03G15年 08-01 06-01 PDF格式BibTeX公司 XML格式引用 \textit{P.Jipsen}等人,in:计算机科学中的关系方法。维恩:施普林格。1-21(1997;Zbl 0879.08006)
鲁道夫·伯哈默;冈瑟·施密特 相关规范。 (英语) Zbl 0791.68104号 Rauszer,Cecylia(编辑),逻辑和计算机科学中的代数方法。1991年9月15日至12月15日在波兰华沙举行的关于逻辑代数方法及其计算机科学应用的第三十八学期论文。华沙:波兰科学院数学研究所。巴纳赫美分。出版物。28, 167-190 (1993). 审核人:R.Berghamer(基尔) MSC公司:60年第68季度 03G15年 68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{G.Schmidt},巴纳赫中心。出版物。28167--190(1993年;Zbl 0791.68104)
鲁道夫·伯哈默;彼得·肯普夫;冈瑟·施密特;托马斯·斯特拉林 关系代数和程序逻辑。 (英语) Zbl 0749.03016号 代数逻辑。科洛克,布达普/挂。1988年,大学数学。《János Bolyai社会》54、37-58(1991年)。 审核人:L.Brim(布尔诺) MSC公司:03B70号 68问题55 03G15年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,《大学数学》。Soc.János Bolyai萨诺斯·博莱54,37-58(1991;Zbl 0749.03016)
鲁道夫·伯哈默;冈瑟·施密特;汉斯·齐勒 对称商和域构造。 (英语) Zbl 0689.68095号 信息处理。莱特。 33,第3号,163-168(1989).MSC公司:68卢比99 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,《Inf.过程》。莱特。33,No.3,163--168(1989;Zbl 0689.68095) 全文: 内政部
冈瑟·施密特;托马斯·斯特拉林 关系与图形。(关系和图表)。 (德语) Zbl 0705.68083号 Mathematik für信息员。柏林等:Springer-Verlag。八、 第306页(1989年)。 审核人:J.埃伯特 MSC公司:68兰特 05C90年 05C85号 68-01 68卢比99 03E20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt}和\textit{T.Ströhlein},关系与图形。(关系和图表)。柏林等:Springer-Verlag(1989;Zbl 0705.68083)
冈瑟·施密特;托马斯·斯特拉林 关于图的核心和游戏的解决方案:基于关系和不动点的概要。 (英语) Zbl 0554.05032号 SIAM J.代数离散方法 6, 54-65 (1985). 审核人:P.艾弗里 MSC公司:05C20号 03E20型 2015年1月6日 68兰特 91A80型 91A05型 05元50分 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt}和\textit{T.Ströhlein},SIAM J.代数离散方法6,54-65(1985;Zbl 0554.05032) 全文: 内政部