马丁·格罗;丹尼尔·诺恩 有界秩宽图的规范化和可定义性。 (英语) Zbl 07650602号 ACM事务处理。计算。日志。 24,第1条,第6条,第31页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{D.Neuen},ACM翻译。计算。日志。24,第1号,第6条,第31页(2023;Zbl 07650602) 全文: 内政部 arXiv公司
迈克尔·埃尔伯菲尔德;马丁·格罗;蒂尔·坦托 其中一阶逻辑和一元二阶逻辑重合。 (英语) Zbl 1407.03003号 ACM事务处理。计算。日志。 17号第4条第25条第18页(2016年).MSC公司:03B15号机组 03年10月 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Elberfeld}等人,《美国医学杂志》。计算。日志。17,第4号,第25条,第18页(2016;Zbl 1407.03003) 全文: 内政部 arXiv公司
马丁·格罗;卢克·塞古芬 关于一阶拓扑查询。 (英语) Zbl 1365.68205号 ACM事务处理。计算。日志。 3,第3期,336-358(2002).MSC公司:第68页,共15页 03年10月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{L.Segoufin},ACM翻译。计算。日志。3,第3号,336--358(2002;Zbl 1365.68205) 全文: 内政部 哈尔
马丁·格罗;托马斯·施文蒂克 阶不变一阶公式的局部性。 (英语) Zbl 1365.68204号 ACM事务处理。计算。日志。 第1期,第112-130页(2000年).MSC公司:第68页,共15页 03年10月 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{T.Schwentick},ACM Trans。计算。日志。第1号,第112-130页(2000年;Zbl 1365.68204) 全文: 内政部