亚历克斯·阿布因;亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 表aux和后续计算CTL公司和ECTL公司：通过认证证据和模型进行满意度测试。 （英语） Zbl 07618127号 J.日志。阿尔盖布。方法计划。 130，文章ID 100828，30 p.（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人，J.Log。阿尔盖布。方法计划。130，文章ID 100828，30 p.（2023；Zbl 07618127） 全文： 内政部
亚历克斯·阿布因;亚历山大·波洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 用于CTL和ECTL的单程基于上下文的表格辅助系统。 （英语） Zbl 1530.03068号 穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第14条，第20页（2020）。MSC公司：03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人，LIPIcs——莱布尼茨国际程序。通知。178，第14条，第20页（2020年；Zbl 1530.03068） 全文： 内政部
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 分支时间逻辑\（\mathsf{ECTL}^{#}\）及其树型单程表：扩展\（\mathsf{ECTL}^+\）的公平性表示。 （英语） Zbl 1433.03049号 西奥。计算。科学。 813, 428-451 (2020).MSC公司：03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人，Theor。计算。科学。813428-451（2020年；Zbl 1433.03049） 全文： 内政部
亚历克斯·阿布因;亚历山大·博洛托夫;迪亚斯，De Cerio Unai;蒙特塞拉特赫莫;帕基，卢西奥 使用单程表对PLTL进行认证模型检查。 （英语） Zbl 1515.68171号 Gamper，Johann（编辑）等人，第26届时间表征和推理国际研讨会，《时代》2019年。2019年10月16日至19日，西班牙马拉加。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。147，第12条，第18页（2019年）。MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人，LIPIcs——莱布尼茨国际程序。通知。147，第12条，第18页（2019年；Zbl 1515.68171） 全文： 内政部
亚历山大·波洛托夫;Danil Kozhemiachenko;瓦西里·沙金 准完备逻辑K1——自然演绎，其自动化、复杂性和应用。 （英语） Zbl 1512.68149号 J.应用。日志。-IfCoLog J.日志。申请。 5，第1期，221-261（2018）.MSC公司：第68季度第60季度 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人，J.Appl。日志。-IfCoLog J.日志。申请。5，编号1，221--261（2018；Zbl 1512.68149）
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 扩展ECTL（^+）的公平性表示：一种树型单程表方法。 （英语） Zbl 1487.68154号 Alechina，Natasha（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120，第5条，22 p.（2018）。MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人，LIPIcs——莱布尼茨国际程序。通知。120，第5条，22 p.（2018；Zbl 1487.68154） 全文： 内政部
亚历山大·波洛托夫;阿提·巴苏科斯基;奥列格·格里戈里耶夫;瓦西里·沙金 线性时间逻辑的自然演绎演算。 （英语） Zbl 1152.03317号 Michael Fisher（编辑）等人，《人工智能中的逻辑》。第十届欧洲会议，2006年9月13日至15日，JELIA，英国利物浦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-39625-3/pbk）。计算机科学讲义4160。人工智能课堂讲稿，56-68（2006）。MSC公司：03B44号 第68页第15页 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}等人，Lect。注释计算。科学。416056-68（2006年；Zbl 1152.03317） 全文： 内政部
亚历山大·博洛托夫;阿提·巴苏科斯基 分支时间逻辑（text{ECTL}^+\）的子句解析方法。 （英语） Zbl 1112.03010号 安。数学。Artif公司。智力。 46，第3期，235-263（2006）.MSC公司：03B35型 03B44号 68号30 第68季度第60季度 68问题85 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}和\textit{A.Basukoski}，安.数学。Artif公司。智力。46，第3号，235--263（2006；Zbl 1112.03010） 全文： 内政部
亚历山大·博洛托夫;阿提·巴苏科斯基 一种扩展计算树逻辑ECTL的子句解析方法。 （英语） Zbl 1101.03017号 J.应用。日志。 4，第2期，141-167（2006）.MSC公司：03B35型 03B44号 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bolotov｝和\textit｛A.Basukoski｝，J.Appl。日志。4，第2号，141--167（2006；Zbl 1101.03017） 全文： 内政部
克莱尔·狄克逊;亚历山大·博洛托夫;迈克尔·费希尔 交替的自动机和时态逻辑范式。 （英语） Zbl 1087.03013号 Ann.纯粹应用。逻辑 135，编号1-3，263-285（2005）.MSC公司：03B44号 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人，Ann.Pure Appl。逻辑135，No.1--3，263--285（2005；Zbl 1087.03013） 全文： 内政部
克莱尔·狄克逊;迈克尔·费希尔;亚历山大·博洛托夫 理性代理逻辑中的条款解决。 （英语） Zbl 1015.68170号 Artif公司。智力。 139，第1期，47-89（2002）.MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人，Artif。智力。139，第1号，47--89（2002；Zbl 1015.68170） 全文： 内政部
亚历山大·博洛托夫 CTL分支时间时序逻辑的子句分解方法。 （英语） 兹比尔1054.68666 J.实验理论。Artif公司。智力。 11，第1期，77-93（1999）.MSC公司：68T27型 第68季度第60季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bolotov}，J.实验理论。Artif公司。智力。11，第1号，77-93（1999年；兹bl 1054.68666） 全文： 内政部