停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

米哈伊尔·里巴科夫

Михаил Рыбаков

>主页 >珀森斯

人员信息

unicode名称： Михаил Рыбаков
附属： 俄罗斯特维尔州立大学

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/RybakovS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RybakovS23
米哈伊尔·里巴科夫，德米特里·什卡托夫:
模态命题逻辑和超直觉命题逻辑的复杂性函数和有效性复杂性。 J.日志。计算。 33(7):1566-1595(2023)
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2307-02800
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-02800
米哈伊尔·里巴科夫，德米特里·什卡托夫:
QK4.3和QS4.3的算法属性。 CoRR公司 abs/2307.02800(2023)
2022
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/RybakovS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/RybakovS22
米哈伊尔·里巴科夫，德米特里·什卡托夫:
偏拟谓词逻辑的不可解性。日志。J.IGPL公司 30(三):519-533(2022)
[j13]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/RybakovS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RybakovS22
米哈伊尔·里巴科夫，德米特里·什卡托夫:
具有非及物模态逻辑的产品有限变量片段的复杂性。 J.日志。计算。 32(5):853-870(2022)
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/RybakovS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sLogica/RybakovS22
米哈伊尔·里巴科夫，德米特里·什卡托夫:
更正为：一阶模态逻辑和直觉逻辑的不确定性，两个变量和一个单数谓词字母。螺柱逻辑 110(2):597-598(2022)
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/RybakovS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ReybakovS22
米哈伊尔·里巴科夫，德米特里·什卡托夫:
命题时间逻辑和计算模态逻辑的有限变量片段的复杂性。西奥。计算。科学。 925:45-60岁(2022)
2021
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/RybakovS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RybakovS21
米哈伊尔·里巴科夫，德米特里·什卡托夫:
具有K的产物的有限变量片段的复杂性。 J.日志。计算。 31(2):426-443(2021)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RybakovS21a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RybakovS21a
米哈伊尔·里巴科夫，德米特里·什卡托夫:
受限语言中有限Kripke框架的一阶超直觉逻辑的算法性质。 J.日志。计算。 31(2):494-522(2021)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RybakovS21b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RybakovS21b
米哈伊尔·里巴科夫，德米特里·什卡托夫:
受限语言中线性Kripke框架的一阶模态逻辑的算法性质。 J.日志。计算。 31(5):1266-1288(2021)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2105-11811
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-11811
米哈伊尔·里巴科夫，德米特里·什卡托夫:
受限语言中线性Kripke框架的一阶模态逻辑的算法性质。 CoRR公司 abs/2105.11811(2021)
2020
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/RybakovS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RybakovS20
米哈伊尔·里巴科夫，德米特里·什卡托夫:
谓词模态逻辑中的递归可枚举性和基本框架可定义性。 J.日志。计算。 30(2):549-560(2020)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/RybakovS20a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/RybakovS20a
米哈伊尔·雷巴科夫，德米特里·什卡托夫:
受限语言中有限Kripke框架的一阶模态逻辑的算法性质。 J.日志。计算。 30(7):1305-1329年(2020)
【c8】
- 看法
  - 电子版@aiml.net（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/RybakovS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/RybakovS20
米哈伊尔·里巴科夫，德米特里·什卡托夫:
受限语言中自然数行的一阶模态逻辑的算法性质。 AiML公司 2020:523-539
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/saicsit/RybakovS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/saicsit/RybakovS20
米哈伊尔·里巴科夫，德米特里·什卡托夫:
部分准谓词逻辑的计算性质。 SAICSIT公司 2020:58-65

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/RybakovS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/RybakovS19
米哈伊尔·里巴科夫，德米特里·什卡托夫:
对称框架命题模态逻辑有限变量片段的复杂性。日志。J.IGPL公司 27(1):60-68(2019)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sLogica/RybakovS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sLogica/RybakovS19
米哈伊尔·里巴科夫，德米特里·什卡托夫:
二元一元谓词字母一阶模态逻辑和直觉逻辑的不确定性。螺柱逻辑 107(4):695-717(2019)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/saicsit/RybakovS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/saicsit/RybakovS19
米哈伊尔·里巴科夫，德米特里·什卡托夫:
具有三个独立变量的经典语言的Trakhtenbrot定理。 SAICSIT公司 2019:19:1-19:7
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1901-06407
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1901-06407
米哈伊尔·里巴科夫，德米特里·什卡托夫:
有限多变量命题动态逻辑的复杂性和表达性。 CoRR公司 abs/1901.06407(2019)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1910-02257
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1910-02257
米哈伊尔·里巴科夫，德米特里·什卡托夫:
对称框架命题模态逻辑有限变量片段的复杂性。 CoRR公司 abs/1910.02257(2019)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1911-09473
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1911-09473
米哈伊尔·雷巴科夫，德米特里·什卡托夫:
谓词模态逻辑中的递归可枚举性和基本框架可定义性。 CoRR公司 abs/1911.09473(2019)
2018
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/igpl/RybakovS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/igpl/RybakovS18
米哈伊尔·里巴科夫，德米特里·什卡托夫:
有限多变量命题动态逻辑的复杂性和表达性。日志。J.IGPL公司 26(5):539-547(2018)
【c5】
- 看法
  - 电子版@aiml.net（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/RybakovS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/RybakovS18
米哈伊尔·里巴科夫，德米特里·什卡托夫:
关于一阶可定义帧类的递归可枚举Kripke完备一阶逻辑不完备。模态逻辑的进展 2018:531-539
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itac/雷巴科夫S18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/RybakovS18
米哈伊尔·里巴科夫，德米特里·什卡托夫:
具有有限多变量的分支和交替时间-时间逻辑的复杂性和表达性。 ICTAC公司 2018:396-414
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/saicsit/RybakovS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/saicsit/RybakovS18
米哈伊尔·里巴科夫，德米特里·什卡托夫:
有限多变量命题线性时间逻辑的复杂性。 SAICSIT公司 2018:313-316
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1810-09142
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1810-09142
米哈伊尔·里巴科夫，德米特里·什卡托夫:
具有有限多变量的分支和交替时间时序逻辑的复杂性和表达性。 CoRR公司 abs/1810.09142(2018)
2017
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/RybakovS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/RybakovS17
米哈伊尔·里巴科夫，德米特里·什卡托夫:
具有有限多变量的命题线性时间逻辑的复杂性。 CoRR公司 abs/1706.04108(2017)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/RybakovS17a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ReybakovS17a
米哈伊尔·里巴科夫，德米特里·什卡托夫:
具有两个变量和一个单元谓词字母的一阶模态逻辑和直觉逻辑的不可判定性。 CoRR公司 abs/1706.05060(2017)

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2008
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jancl/Rybakov08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jancl/Rybakov08
米哈伊尔·里巴科夫:
直觉主义命题逻辑及其片段的复杂性。 J.应用。非班级。逻辑 18(2-3个):267-292(2008)
2007
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jancl/Rybakov07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jancl/Rybakov07网址
米哈伊尔·里巴科夫:
EXPTIME完全逻辑的有限变量片段M的复杂性。 J.应用。非班级。逻辑 17(三):359-382(2007)
2006
【c2】
- 看法
  - 电子版@aiml.net（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/Rybakov06会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/Rybakov06
米哈伊尔·里巴科夫:
直觉主义和维瑟基本形式逻辑在有限多变量中的复杂性。模态逻辑的进展 2006:393-411
2002
【c1】
- 看法
  - 电子版@aiml.net（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aiml/ChagrovR02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aiml/ChagrovR02
亚历山大·查格罗夫，米哈伊尔·里巴科夫:
一个人需要多少变量来证明模态逻辑的PSPACE硬度。模态逻辑的进展 2002:71-82

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置都将作为Cookie存储在您的网络浏览器中。有关更多信息查看我们的F.A.Q。