Darion Haase先生;埃里希·格拉德尔;理查德·威尔克 将逻辑和逻辑与团队语义分离。 （英语） Zbl 07587325号 Ann.纯粹应用。逻辑 173，第10号，文章ID 103063，13 p.（2022）.MSC公司：03B70号 03B60号 03C80号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.Haase｝等人，Ann.纯应用。逻辑173，第10号，文章ID 103063，13页（2022；Zbl 07587325） 全文： 内政部
埃里希·格拉德尔;马丁·格罗;贝内迪克特·帕戈;维德州帕库萨 关于命题证明复杂性的有限模型理论观点。 （英语） Zbl 1451.03023号 日志。方法计算。科学。 15，第1号，第4号论文，53页（2019年）.MSC公司：03立方厘米13 20层03 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}等人，日志。方法计算。科学。15，第1号，第4号论文，53页（2019年；Zbl 1451.03023） 全文： arXiv公司
法里德·阿布·扎伊德;埃里希·格拉德尔;凯撒，乌卡斯;维德州帕库萨 （ω）-自动结构的模型理论属性。 （英语） Zbl 1335.03037号 理论计算。系统。 55，第4期，856-880（2014）.MSC公司：05年3月 03C57号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Abu Zaid}等人，理论计算。系统。55，第4号，856--880（2014；Zbl 1335.03037） 全文： 内政部
阿努吉·达瓦尔;埃里希·格拉德尔 平价游戏的描述性复杂性。 （英语） Zbl 1157.68032号 迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，354-368（2008）。MSC公司：19年第68季度 03B70号 91A43型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Dawar｝和\textit｛E.Grädel｝，Lect。注释计算。科学。5213，354--368（2008；Zbl 1157.68032） 全文： 内政部
埃里希·格拉德尔 关于警卫的约束权。 （英语） Zbl 0958.03027号 J.塞姆。日志。 64，第4期，1719-1742（1999）. 审核人：M.Teruamšvili（第比利斯） MSC公司：2015年3月1日 03B25号 03B20型 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}，J.Symb。日志。64，第4号，1719-1742（1999；Zbl 0958.03027） 全文： 内政部
埃里希·格拉德尔;马丁·奥托 关于双变量逻辑。 （英语） Zbl 0948.03023号 西奥。计算。科学。 224，编号1-2，73-113（1999）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03B70号 03B25号 2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit｛E.Grädel｝和\textit｛M.Otto｝，Theor。计算。科学。224，编号1--2，73-113（1999；Zbl 0948.03023） 全文： 内政部
埃里希·格拉德尔;马丁·奥托;埃里克·罗森 二元逻辑的不确定性结果。 （英语） Zbl 1498.03026号 Reischuk，Rüdiger（编辑）等人，STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日，德国吕贝克。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1200, 249-260 (1997).MSC公司：03B25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}等人，Lect。注释计算。科学。1200、249--260（1997年；Zbl 1498.03026） 全文： 内政部