默认搜索操作

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

问别人

玛格丽塔·科罗维纳

玛格丽塔·弗拉迪米洛夫娜·科罗维纳

>主页 >珀森斯

人员信息

附属： 新西伯利亚RAS西伯利亚分部A.P.Ershov信息系统研究所

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2023
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BrausseKKM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BrausseKKM23
弗兰兹·布劳,康斯坦丁柯罗文,玛格丽塔·科罗维纳,诺伯特·米勒:
ksmt演算是δ-非线性约束的完整决策过程。西奥。计算。科学。 975:114125(2023)
2021
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BrausseKKM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BrausseKKM21
弗兰兹·布劳,康斯坦丁柯罗文,玛格丽塔·科罗维纳,诺伯特·米勒:
ksmt演算是非线性约束的δ-完全决策过程。 CADE公司 2021:113-130
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2104-13269
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2104-13269
弗兰兹·布劳,康斯坦丁柯罗文,玛格丽塔·科罗维纳,诺伯特·米勒:
ksmt演算是非线性约束的δ-完全决策过程。 CoRR公司 abs/2104.13269(2021)
2020
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2007-14801
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2007-14801
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
关于有序字段的可计算性。 CoRR公司 abs/2007.14801(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/KorovinaK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/KorovinaK19
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
可靠计算的可计算拓扑。 Ershov信息学会议 2019:185-198
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/BrausseKKM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/BrausseKKM19
弗兰兹·布劳,康斯坦丁柯罗文,玛格丽塔·科罗维纳,诺伯特·米勒:
求解非线性约束的CDCL型微积分。 FroCos公司 2019:131-148
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1905-09227
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1905-09227
弗兰兹·布劳,康斯坦丁柯罗文,玛格丽塔·科罗维纳,诺伯特·米勒:
用于求解非线性约束的CDCL型演算。 CoRR公司 abs/1905.09227(2019)
2018
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/KorovinaK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/KorovinaK18
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
可计算波兰空间上部分可计算函数的复杂性。数学。结构。计算。科学。 28(三):429-447(2018)
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/KorovinaK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/KorovinaK18网址
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
弱约简原理与可计算度量空间。 CiE公司 2018:234-243
2017
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/KorovinaK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KorovinaK17
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
可计算拓扑中的Rice-Shapiro定理。日志。方法计算。科学。 13(4)(2017)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/IshiharaKPSS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/IshiharaKPSS17
石原哈吉,玛格丽塔·科罗维纳,阿诺·保利,莫妮卡·塞森伯格,Dieter Spreen公司:
特刊前言：连续性、可计算性、可构造性：从逻辑到算法2013。数学。结构。计算。科学。 27(8):1285-1286(2017)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/KorovinaK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/KorovinaK17
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
有效可枚举拓扑空间中的可计算元素和函数。数学。结构。计算。科学。 27(8):1466-1494(2017)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/KorovinaK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/KorovinaK17网址
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
可计算拓扑中的部分可计算性概述。 CiE公司 2017:64-76
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/KorovinaK17a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/KorovinaK17a
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
关于高效描述性集合理论。 CiE公司 2017:282-291
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/KorovinaK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/KorovinaK17
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
可计算拓扑中Rice-Shapiro定理的亮点。 Ershov信息学会议 2017:241-255
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/cor/abs-1708-09820
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1708-09820
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
可计算拓扑中的Rice-Shapiro定理。 CoRR公司 abs/1708.09820(2017)
2015
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/KorovinaK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/KorovinaK15
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
连续数据的正谓词结构。数学。结构。计算。科学。 25(8):1669-1684(2015)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/KorovinaK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/KorovinaK15网站
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
有效可数拓扑空间中的Rice定理。 CiE公司 2015:226-235
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/BrausseKM15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/BrausseKM15
弗兰兹·布劳,玛格丽塔·科罗维纳,诺伯特·米勒:
初值问题的精确实数算法。埃尔肖夫纪念大会 2015:61-74
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/macis/BrausseKM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/macis/BrausseKM15
弗兰兹·布劳,玛格丽塔·弗拉迪米洛夫娜·科罗维纳,诺伯特·米勒:
在精确实数算法中使用泰勒模型。 MACIS公司 2015:474-488
2014
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/KorovinaK14号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/KorovinaK14网址
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
索引集作为连续约束复杂性的度量。埃尔肖夫纪念大会 2014:201-215
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/生日/2014霍华德
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/2014霍华德
安德烈·沃伦科夫,玛格丽塔·科罗维纳:
霍华德·60：霍华德·巴林格60岁生日庆典。 EPiC计算系列42,Easy椅子 2014 [目录]
2011
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/KorovinaV11型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/KorovinaV11
玛格丽塔·科罗维纳,尼古拉·沃罗布乔夫（Nicolai N.Vorobjov Jr.）。:
一维受控多项式动力系统的可达性。埃尔肖夫纪念大会 2011:251-261
2010
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/KorovinaV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/KorovinaV10
玛格丽塔·科罗维纳,尼古拉·沃罗布乔夫（Nicolai N.Vorobjov Jr.）。:
计算Pfaffian动力学中轨迹的组合类型。 J.日志。代数方法课程。 79(1):32-37(2010)
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1006-0401
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1006-0401
诺伯特·米勒,玛格丽塔·科罗维纳:
在轨道上迈出重要一步。 CCA公司 2010:106-119

2000 – 2009

请参阅常见问题解答

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

2009
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KorovinaK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/KorovinaK09
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
西格玛定义的一致性原则。 J.日志。计算。 19(1):159-174(2009)
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/KorovinaK09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/KorovinaK09
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
西格玛_K（K）-混合动力系统的约束。埃尔肖夫纪念大会 2009:230-241
2008
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mlq/MorozovK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mlq/MorozovK08
安德烈·莫罗佐夫,玛格丽塔·科罗维纳:
关于实数上不相等的σ可定义性。数学。日志。问：。 54(5):535-544(2008)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/KorovinaV08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/KorovinaV08
玛格丽塔·科罗维纳,尼古拉·沃罗布乔夫（Nicolai N.Vorobjov Jr.）。:
Pfaffian动力系统有限互模拟大小的界。理论计算。系统。 43(3-4):498-515(2008)
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/KorovinaK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/KorovinaK08
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
有效可枚举拓扑空间上的可计算性。 CCA公司 2008:115-125
2007
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/KorovinaK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/KorovinaK07
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
均匀性原则西格玛-可计算分析应用程序的可定义性。 CiE公司 2007:416-425
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MorozovK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MorozovK08
安德烈·莫罗佐夫,玛格丽塔·科罗维纳:
关于西格玛定义的备注，无需对Reals进行等式测试。 CCA公司 2007:305-313
2006
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/KorovinaV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/KorovinaV06
玛格丽塔·科罗维纳,尼古拉·沃罗布乔夫（Nicolai N.Vorobjov Jr.）。:
Pfaffian混合系统有限双模拟大小的上下限。 CiE公司 2006:267-276
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/KorovinaV06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/KorovinaV06
玛格丽塔·科罗维纳,尼古拉·沃罗布乔夫（Nicolai N.Vorobjov Jr.）。:
Pfaffian动力学生存约束的可满足性。埃尔肖夫纪念大会 2006:260-269
[i1]
- 看法
  - 电子版@dagstuhl.de（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/KorovinaV06型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/KorovinaV06
玛格丽塔·科罗维纳,尼古拉·沃罗布乔夫（Nicolai N.Vorobjov Jr.）。:
Pfaffian动力系统有限双模拟大小的上下限。实数算法的可靠实现 2006
2005
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/KorovinaK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/KorovinaK05
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
面向更高类型连续数据的可计算性。 CiE公司 2005:235-241
2004
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KorovinaV04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KorovinaV04
玛格丽塔·科罗维纳,尼古拉·沃罗布乔夫（Nicolai N.Vorobjov Jr.）。:
Pfaffian混合系统。 CSL公司 2004:430-441
2003
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Korovina03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Korovina03网址
玛格丽塔·科罗维纳:
在不进行等式检验的情况下，实数上sigma-Defability的计算方面。 CSL公司 2003:330-344
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/Korovina03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/Korovina03网址
玛格丽塔·科罗维纳:
连续数据类型S-Defability的最新进展。埃尔肖夫纪念大会 2003:238-247
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Corovina03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Korovina03网址
玛格丽塔·科罗维纳:
无等式检验的抽象结构甘地定理。 LPAR公司 2003:290-301
2002
【c7】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fics/Corovina02文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fics/Korovina02网址
玛格丽塔·科罗维纳:
在没有相等测试的抽象结构上固定点。菲莎国际学院 2002:58-60
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Korovina02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Korovina02
玛格丽塔·科罗维纳:
不经过等式检验的实数上的固定点。 CCA公司 2002:104-112
2001
[c5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/KorovinaK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KorovinaK01
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
实数上二阶可计算性的语义特征。 CSL公司 2001:160-172
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/KorovinaK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/KorovinaK01
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
广义可计算性及其在混合系统中的应用。埃尔肖夫纪念大会 2001:494-499
2000
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cca/KorovinaK00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cca/KorovinaK00
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
通过领域理论对算子和实值泛函的可计算性进行形式化。 CCA公司 2000:146-168

1990 – 1999

请参阅常见问题解答

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

1999
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ershov/KorovinaK99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/KorovinaK99
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
混合系统规范的逻辑方法。埃尔肖夫纪念大会 1999:10-16
1998
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/科罗维纳K98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/KorovinaK98
玛格丽塔·科罗维纳,奥列格·库迪诺夫:
实域上多数可计算性的特征性质。 CSL公司 1998:188-203

合著者索引

请参阅常见问题解答

管理网站设置

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