埃里希·格拉德尔;理查德·威尔克 具有多团队语义的逻辑。 (英语) Zbl 1505.03069号 ACM事务处理。计算。日志。 23,第2条,第13条,第30页(2022年)。MSC公司:03B60号 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}和\textit{R.Wilke},ACM Trans。计算。日志。23,第2号,第13条,第30页(2022年;Zbl 1505.03069) 全文: 内政部 arXiv公司
阿努吉·达瓦尔;埃里希·格拉德尔;斯蒂芬·克鲁泽 模态逻辑中的膨胀不动点。 (英语) Zbl 1407.03031号 ACM事务处理。计算。日志。 5,第2期,282-315(2004)。MSC公司:03B45号 03B25号 2015年3月15日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}等人,ACM Trans。计算。日志。5,第282-315号(2004年;Zbl 1407.03031) 全文: 内政部
埃里希·格拉德尔(编辑);约瑟夫·霍尔珀(Joseph Y.Halpern)。(编辑);拉德哈·贾加迪桑(编辑);阿道夫·皮佩尔诺(编辑) LICS 2001特别版。 (英语) Zbl 1365.00062号 ACM事务处理。计算。日志。 4,第3号,295(2003)。MSC公司:00时25分 03-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}(编辑)等,《美国医学杂志》。计算。日志。4,第3号,295(2003;Zbl 1365.00062) 全文: 内政部
埃里希·格拉德尔;科林·赫什;马丁·奥托 在保护逻辑和模态逻辑之间来回切换。 (英语) Zbl 1365.03019号 ACM事务处理。计算。日志。 3,第3期,418-463(2002)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}等人,ACM Trans。计算。日志。3,第3号,418--463(2002;Zbl 1365.03019) 全文: 内政部
乔治·戈特洛布;埃里希·格拉德尔;赫尔穆特·维思 Datalog LITE:带有线性时间模型检查的演绎查询语言。 (英语) 兹比尔1365.68203 ACM事务处理。计算。日志。 3,第1期,42-79(2002)。MSC公司:第68页,共15页 68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}等人,《美国医学杂志》。计算。日志。3,第1号,42--79(2002;Zbl 1365.68203) 全文: 内政部