埃里希·格拉德尔 关于警卫的约束权。 (英语) 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 0927.03015号 架构(architecture)。数学。逻辑 38,编号4-5,313-354(1999). 审核人:埃里克·罗森(亚琛) MSC公司:03B25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}等人,Arch。数学。逻辑38,编号4--5,313--354(1999;Zbl 0927.03015) 全文: 内政部
埃里希·格拉德尔;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 关于二元一阶逻辑的决策问题。 (英语) 兹比尔0873.03009 牛市。符号。日志。 第3期,第1期,第53-69页(1997年).MSC公司:03B25号 2015年3月1日 03C13号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}等人,公牛。符号。日志。3,编号1,53--69(1997;Zbl 0873.03009) 全文: 内政部 链接 链接
埃里希·格拉德尔 多米诺游戏和复杂性。 (英语) Zbl 0711.68044号 SIAM J.计算。 19,第5期,787-804(1990).MSC公司:2015年第68季度 2015年3月1日 2005年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel},SIAM J.计算。19,第5号,787--804(1990;Zbl 0711.68044) 全文: 内政部
埃里希·格拉德尔 具有一个(全部)的公式的可满足性在指数时间内是可判定的。 (英语) Zbl 0703.0302号 架构(architecture)。数学。逻辑 29,No.4,265-276(1990). 审核人:H.C.M.de Swart公司 MSC公司:03B25号 03B10号机组 2015年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel},拱门。数学。逻辑29,No.4,265--276(1990;Zbl 0703.0302) 全文: 内政部
埃里希·格拉德尔 具有函数的一阶逻辑中公式类的复杂性。 (英语) Zbl 0727.03025号 计算理论基础。国际会议,FCT’89,Szeged/Hung。1989年,Lect。注释计算。科学。380, 224-233 (1989).MSC公司:2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式