迈克尔·本尼迪克特；斯坦尼斯拉夫·基科特；彼得罗·奥斯特罗尔斯基·纳莱瓦贾；米盖尔·罗梅罗 递归查询和视图的单调确定性和可重写性。 （英语） Zbl 07672675号 ACM事务处理。计算。日志。 24，第2号，第16号论文，62页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人，《美国医学杂志》。计算。日志。24，第2号，第16号论文，62页（2023；Zbl 07672675） 全文： 内政部 arXiv公司
阿希姆·布卢门萨特；费利克斯·沃尔夫 有限域中的互模拟不变单子二阶逻辑。 （英语） 兹比尔1484.03047 西奥。计算。科学。 823, 26-43 (2020).MSC公司：03B70号 03B16号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath}和\textit{F.Wolf}，Theor。计算。科学。823，26-43（2020；Zbl 1484.03047） 全文： 内政部 arXiv公司 链接
迈克尔·本尼迪克特；皮埃尔·布赫斯；砰，迈克尔·范登 可判定不动点逻辑中的可定义性和插值。 （英语） Zbl 1509.03088号 日志。方法计算。科学。 15，第3号，第29号论文，53页（2019年）.MSC公司：03B70号 03B45号 03B25号 03C40号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人，日志。方法计算。科学。15，第3号，第29号论文，53页（2019年；Zbl 1509.03088） 全文： arXiv公司
阿希姆·布卢门萨特；费利克斯·沃尔夫 有限域中的互模拟不变单二阶逻辑。 （英语） Zbl 1484.03048号 Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第117条，第13页（2018年）。MSC公司：03B70号 03B16号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath}和\textit{F.Wolf}，LIPIcs——莱布尼茨国际程序。通知。107，第117条，13 p.（2018；Zbl 1484.03048） 全文： 内政部
朱利安·布拉德菲尔德；伊戈尔·瓦卢基维奇 微积分和模型检查。 （英语） Zbl 1392.68236号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。871-919 (2018).MSC公司：60年第68季度 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Bradfield}和\textit{I.Walukiewicz}，见：模型检查手册。查姆：斯普林格。871--919（2018；Zbl 1392.68236） 全文： 内政部 哈尔
迈克尔·埃尔伯菲尔德；马丁·格罗；蒂尔·坦托 其中一阶逻辑和一元二阶逻辑重合。 （英语） Zbl 1407.03003号 ACM事务处理。计算。日志。 17号第4条第25条第18页（2016年）.MSC公司：03B15号机组 03B10号机组 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Elberfeld}等人，《美国医学杂志》。计算。日志。17，第4号，第25条，第18页（2016；Zbl 1407.03003） 全文： 内政部 arXiv公司
安托万·阿马里利；皮埃尔·布赫斯；皮埃尔·塞内拉特 树和树状实例的起源回路。 （英语） Zbl 1440.68053号 Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135，56-68（2015年）。MSC公司：第68页，共15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Amarilli}等人，Lect。注释计算。科学。9135，56-68（2015；Zbl 1440.68053） 全文： 内政部 arXiv公司 哈尔
文斯·巴拉尼；Mikołaj博扬奇克 保护不动点逻辑的有限可满足性。 （英语） Zbl 1243.68191号 信息处理。莱特。 112，第10期，371-375（2012）.MSC公司：65年第68季度 2017年第68季度 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Bárány}和\textit{M.Bojañczyk}，Inf.Process。莱特。112，第10号，371--375（2012；Zbl 1243.68191） 全文： 内政部 arXiv公司
德克·伦德斯；van den Bussche，简 半联接代数中列的重复和排列。 （英语） Zbl 1166.68014号 西奥。通知。申请。 43，第2期，179-187（2009）.MSC公司：第68页，共15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Leinders}和\textit{J.van den Bussche}，Theor。通知。申请。43，No.2，179--187（2009；Zbl 1166.68014） 全文： 内政部 Numdam编号 欧洲DML
蒂莫斯·安东尼奥普洛斯；阿努吉·达瓦尔 将图形逻辑与MSO分离。 （英语） Zbl 1234.03022号 de Alfaro，Luca（编辑），软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。《计算机科学讲义》5504，63-77（2009）。MSC公司：05年3月 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Antonopoulos}和\textit{A.Dawar}，莱克特。注释计算。科学。5504、63--77（2009年；Zbl 1234.03022） 全文： 内政部
阿努吉·达瓦尔；埃里希·格拉德尔 平价游戏的描述性复杂性。 （英语） 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}，莱克特。注释计算。科学。5213，354--368（2008；Zbl 1157.68032） 全文： 内政部
德克·伦德斯；Van den Bussche，简 关于关系代数中除法和集连接的复杂性。 （英语） Zbl 1115.68066号 J.计算。系统。科学。 73，第4期，538-549（2007）.MSC公司：第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Leinders}和\textit{J.Van den Bussche}，J.Compute。系统。科学。73，第4号，538--549（2007；Zbl 1115.68066） 全文： 内政部 链接
V.戈兰科。；A.蒙塔纳里。；Sala，P。；Sciavicco，G。 命题区间时序逻辑的一般表方法：理论与实现。 （英语） Zbl 1104.03010号 J.应用。日志。 4，第3号，305-330（2006）. 审核人：Manuel Ojeda Aciego（马拉加） MSC公司：03B44号 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人，J.Appl。日志。4，编号3，305-330（2006年；Zbl 1104.03010） 全文： 内政部 链接
马丁·奥托 有限过渡系统上的模态和保护特征定理。 （英语） Zbl 1056.03018号 Ann.纯粹应用。逻辑 130，编号1-3，173-205（2004）.MSC公司：03C13号机组 03B70号 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Otto}，Ann.纯苹果。逻辑130，编号1--3，173-205（2004；Zbl 1056.03018） 全文： 内政部