斯坦尼斯拉夫·斯佩兰斯基。;费多尔·帕霍莫夫。 从一元二阶逻辑的观点看互质关系。 （英语。俄文原件） 兹伯利07733645 伊兹夫。数学。 86，第6期，1225-1239（2022）；Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料86，编号6，207-222（2022）。MSC公司：35楼03号 03D55号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Speranski}和\textit{F.N.Pakhomov}，Izv。数学。86，No.6，1225--1239（2022；Zbl 07733645）；Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料86，编号6，207--222（2022） 全文： 内政部 跨国公司
法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马，伊德;法比奥·扎纳西 弱者的力量。 （英语） Zbl 1446.68089号 ACM事务处理。计算。日志。 21，第2号，第15条，47页（2020年）.MSC公司：60年第68季度 03B16号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Carreiro}等人，《美国医学杂志》。计算。日志。21，第2号，第15条，47页（2020年；Zbl 1446.68089） 全文： 内政部 arXiv公司
路易吉·桑托卡纳莱;弗里德里希·卫龙 有限对称群上弱Bruhat阶的方程理论。 （英语） 兹比尔1450.06001 《欧洲数学杂志》。社会（JEMS） 1959-2003（2018）第8号第20条. 审核人：基思·卡恩斯（博尔德） MSC公司：06B20号 03C85号 06A07年 2015年1月6日 06B10号 06B25号 20B30码 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale}和\textit{F.Wehrung}，《欧洲数学杂志》。Soc.（JEMS）20，No.8，1959--2003（2018；Zbl 1450.06001） 全文： 内政部
西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 键入弱MSOL属性。 （英语） Zbl 1448.68316号 日志。方法计算。科学。 13，第1号，第14号论文，27页（2017年）.MSC公司：60年第68季度 03B16号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz}，日志。方法计算。科学。13，第1号，第14号论文，27页（2017；Zbl 1448.68316） 全文： 内政部 arXiv公司
Micha Skrzypczak 自动机理论中的描述性集合论方法。可决定性和拓扑复杂性。 （英语） Zbl 1375.03003号 计算机科学课堂讲稿9802.柏林：施普林格出版社（ISBN 978-3-662-52946-1/pbk；978-3-562-52947-8/电子书）。xiii，211页。(2016). 审核人：罗杰·维尔梅尔（蒙特勒） MSC公司：03-02 05年3月 03E15年 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Skrzypczak｝，自动机理论中的描述性集合论方法。可决定性和拓扑复杂性。柏林：施普林格出版社（2016；Zbl 1375.03003） 全文： 内政部
法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马，伊德;法比奥·扎纳西 弱MSO：自动机和表达模双相似性。 （英语） Zbl 1401.03065号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第27号论文，第10页（2014年）。MSC公司：05年3月 03B15号机组 03B45号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Carreiro}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第27号论文，第10页（2014；Zbl 1401.03065） 全文： 内政部 arXiv公司
亚历山德罗·法奇尼;维尼马，伊德;法比奥·扎纳西 模态演算无交替片段的一个特征定理。 （英语） 兹伯利1366.03186 2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。478-487 (2013).MSC公司：03B45号 03B25号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Facchini}等人，in：2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学，2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集，2013年LICS。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。478--487（2013年；Zbl 1366.03186） 全文： 内政部
特罗·图伦海莫 时间分割的模态逻辑。 （英语） Zbl 1244.03076号 Areces，Carlos（编辑）等人，《模态逻辑的进展》。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9日至12日。伦敦：学院出版物（ISBN 978-1-904987-68-0/pbk）。363-387 (2008).MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Tulenheimo}，in：模态逻辑的进展。第7卷。第七届会议记录（AiML 2008），法国南希，2008年9月9-12日。伦敦：学院出版物。363--387（2008；Zbl 1244.03076）
格雷塔·约什;亚历山大·拉比诺维奇;穆利萨吉夫;安托万·梅耶;艾哈迈德·博阿贾尼 链接数据结构中可访问模式的逻辑。 （英语） Zbl 1121.03040号 J.日志。阿尔盖布。程序。 73，编号1-2，111-142（2007）. 审核人：亚历克斯·纳贝宾（莫斯科） MSC公司：03B70号 03B25号 68第05页 03B15号机组 05年3月 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yorsh}等人，J.Log。阿尔盖布。程序。73，编号1--2，111-142（2007；Zbl 1121.03040） 全文： 内政部 arXiv公司
费利克斯·克莱特克 WS1S扩展的决策程序。 （英语） Zbl 0999.03035号 劳伦·弗里堡（编辑），《计算机科学逻辑》。2001年9月10日至13日在法国巴黎举行的第15届CSL国际研讨会，EACSL第十届年会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2142, 384-398 (2001).MSC公司：05年3月 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Klaedtke}，莱克特。注释计算。科学。2142，384--398（2001；Zbl 0999.03035） 全文： 链接
戴维·巴恩斯;斯特凡·弗里德里希 结合WS1S和HOL。 （英语） Zbl 0988.03024号 Gabbay，Dov M.（编辑）等人，《组合系统的前沿》2。1998年10月2日至4日，荷兰阿姆斯特丹，第二届国际研讨会（FroCoS’98）论文选集。巴尔多克：研究出版社。螺柱日志。计算。7, 39-56 (2000).MSC公司：03B35型 第68页第15页 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.盆地}和\textit{S.弗里德里希}，研究日志。计算。7、39-56（2000；Zbl 0988.03024）
弗兰克·莫拉维茨;汤姆·康奈尔 语言学中的MSO逻辑自动机连接。 （英语） Zbl 0933.03026号 Lecomte，Alain（编辑）等人，《计算语言学的逻辑方面》。第二届国际会议，LACL’97。1997年9月22日至24日，法国南希。精选论文。柏林：施普林格。莱克特。注释计算。科学。1582, 112-131 (1999).MSC公司：03B65号 68T50型 05年3月 03B35型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Morawietz}和\textit{T.Cornell}，莱克特。注释计算。科学。1582、112--131（1999；Zbl 0933.03026）
奥尔纳·库普弗曼;莫舍·瓦尔迪。 自我补充的弱点。 （英语） Zbl 0924.03045号 Meinel，Christoph（编辑）等人，STACS 99。1999年3月4日至6日在德国特里尔举行的第16届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1563, 455-466 (1999).MSC公司：03B70号 60年第68季度 05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。1563455-466（1999；Zbl 0924.03045）
约翰·范·本特姆;乔瓦娜·达戈斯蒂诺;安吉洛·蒙塔纳里;阿尔贝托，Policriti 二阶逻辑和集合论中的模态演绎。二、。 （英语） Zbl 0953.03022号 螺柱日志。 60，第3期，387-420（1998年）.MSC公司：03B45号 03E99型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人，Stud.Log。60，第3号，387--420（1998；Zbl 0953.03022） 全文： 内政部
阿亚里·阿卜杜勒瓦赫布;戴维·巴恩斯;安德烈亚斯·波德尔斯基 LISA：基于WS2S的规范语言。 （英语） Zbl 0908.03036号 尼尔森，莫根斯（编辑）等人，《计算机科学逻辑》。第11届国际研讨会，CSL’97。EACSL年会，丹麦奥胡斯，1997年8月23日至29日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1414, 18-34 (1998).MSC公司：03B70号 60年第68季度 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Ayari｝等人，Lect。注释计算。科学。1414，18-34（1998；Zbl 0908.03036）
Michaux，基督徒;罗杰·维尔梅尔 围绕Büchi和Presburger算术的开放性问题。 （英语） Zbl 0865.03008号 Hodges，Wilfrid（编辑）等人，《逻辑：从基础到应用》。欧洲逻辑研讨会，英国基尔，1993年7月20日至29日。牛津：克拉伦登出版社。353-383 (1996). 审核人：T.Pheidas（伊拉克利翁） MSC公司：03B25号 03-02 05年3月 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{C.Michaux}和\textit{R.Villemaire}，in：逻辑：从基础到应用。欧洲逻辑座谈会，英国基尔，1993年7月20日至29日。牛津：克拉伦登出版社。353--383（1996年；Zbl 0865.03008）
安德烈·阿诺德;达米安·尼文斯基 弱一元逻辑可定义树集的不动点特征。 （英语） 兹伯利0794.03054 莫里斯·尼瓦特（编辑）等人，《树自动机和语言》。阿姆斯特丹等地：荷兰北部。螺柱计算。科学。Artif公司。智力。10, 159-188 (1992). 审核人：A.纳贝宾（莫斯科） MSC公司：05年3月 03B15号机组 65年第68季度 05二氧化碳 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}和\textit{D.Niwinnski}，螺柱计算。科学。Artif公司。智力。10159--188（1992；Zbl 0794.03054）
哈罗德·霍德斯（Harold T.Hodes）。 布景是从哪里来的？ （英语） Zbl 0761.03015号 J.塞姆。日志。 56，第1期，第150-175页（1991年）；更正同上，第56号，第4，1486（1991）。 审核人：E.Mendelson（法拉盛） MSC公司：03E99型 03B15号机组 03C85号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{H.T.Hodes}，J.Symb。日志。56，编号1，150-175（1991年；Zbl 0761.03015） 全文： 内政部