×
作者ID: bolotov.alexander公司“亚历山大·博洛托夫”最近发表的zbMATH文章
发布日期: 亚历山大·博洛托夫
已编制索引的文档: 14出版物自1999年起
合著者: 11位合著者具有13联合出版物
111位Co-Co作者

按年份列出的出版物

zbMATH Open中包含的引文

12出版物有被引用41中的次23文件 引用人 年份
CTL分支时间时序逻辑的子句分解方法。 Zbl 1054.68666号
亚历山大·博洛托夫
13
1999
扩展计算树逻辑ECTL的子句解析方法。 兹比尔1101.03017
亚历山大·博洛托夫;阿提·巴苏科斯基
5
2006
论(ω)-自动机与时序逻辑范式的关系。 Zbl 1007.03014号
亚历山大·博洛托夫;迈克尔·费希尔;克莱尔·狄克逊
5
2002
分支时间逻辑(text{ECTL}^+\)的子句解析方法。 Zbl 1112.03010号
亚历山大·博洛托夫;阿提·巴苏科斯基
4
2006
线性时间逻辑的自然演绎演算。 Zbl 1152.03317号
亚历山大·博洛托夫;阿提·巴苏科斯基;奥列格·格里戈里耶夫;瓦西里·沙金
2006
使用单程表对PLTL进行认证模型检查。 Zbl 1515.68171号
亚历克斯·阿布因;亚历山大·博洛托夫;迪亚斯,De Cerio Unai;蒙特塞拉特赫莫;帕基·卢西奥
2019
分支时间逻辑\(\mathsf{ECTL}^{#}\)及其树型单程表:扩展\(\mathsf{ECTL}^+\)的公平性表示。 Zbl 1433.03049号
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥
2
2020
准完备逻辑K1——自然演绎,其自动化、复杂性和应用。 兹比尔1512.68149
亚历山大·博洛托夫;Danil Kozhemiachenko;瓦西里·沙金
2
2018
理性代理逻辑中的条款解决。 兹比尔1015.68170
克莱尔·狄克逊;迈克尔·费希尔;亚历山大·博洛托夫
1
2002
CTL*的子句解析。 Zbl 0947.03044号
亚历山大·博洛托夫;克莱尔·狄克逊;迈克尔·费希尔
1
1999
交替自动机和时序逻辑范式。 Zbl 1087.03013号
克莱尔·狄克逊;亚历山大·博洛托夫;迈克尔·费希尔
1
2005
扩展ECTL(^+)的公平性表示:一种树型单程表方法。 Zbl 1487.68154号
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥
1
2018
分支时间逻辑\(\mathsf{ECTL}^{#}\)及其树型单程表:扩展\(\mathsf{ECTL}^+\)的公平性表示。 Zbl 1433.03049号
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥
2
2020
使用单程表对PLTL进行认证模型检查。 Zbl 1515.68171号
亚历克斯·阿布因;亚历山大·博洛托夫;迪亚斯,De Cerio Unai;蒙特塞拉特赫莫;帕基·卢西奥
2019
准完备逻辑K1——自然演绎,其自动化、复杂性和应用。 Zbl 1512.68149号
亚历山大·博洛托夫;科热米琴科,达尼尔;瓦西里·沙金
2
2018
扩展ECTL(^+)的公平性表示:一种树型单程表方法。 Zbl 1487.68154号
亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥
1
2018
扩展计算树逻辑ECTL的子句解析方法。 Zbl 1101.03017号
亚历山大·博洛托夫;阿提·巴苏科斯基
5
2006
分支时间逻辑(text{ECTL}^+\)的子句解析方法。 Zbl 1112.03010号
亚历山大·博洛托夫;阿提·巴苏科斯基
4
2006
线性时间逻辑的自然演绎演算。 Zbl 1152.03317号
亚历山大·博洛托夫;阿提·巴苏科斯基;奥列格·格里戈里耶夫;瓦西里·沙金
2006
交替自动机和时序逻辑范式。 Zbl 1087.03013号
克莱尔·狄克逊;亚历山大·博洛托夫;迈克尔·费希尔
1
2005
论(ω)-自动机与时序逻辑范式的关系。 兹比尔1007.03014
亚历山大·博洛托夫;迈克尔·费希尔;克莱尔·狄克逊
5
2002
理性代理逻辑中的条款解决。 Zbl 1015.68170号
克莱尔·狄克逊;迈克尔·费舍尔;亚历山大·博洛托夫
1
2002
CTL分支时间时序逻辑的子句分解方法。 Zbl 1054.68666号
亚历山大·博洛托夫
13
1999
CTL*的子句解析。 Zbl 0947.03044号
亚历山大·博洛托夫;克莱尔·狄克逊;迈克尔·费希尔
1
1999

按年份列出的引文