×
作者ID: 月桂珊瑚最近由“Carapelle,Claudia”撰写的zbMATH文章
发布日期: 克劳迪娅·卡拉佩尔
编入索引的文档: 9出版物自2013年起
合著者: 6位合著者具有9联合出版物
111位Co-Co作者

按年份列出的出版物

zbMATH Open中包含的引文

8出版物有被引用19中的次11文件 引用人 年份
具有树约束的\(\mathsf{ECTL}^*\)的可满足性。 Zbl 1435.03039号
克劳迪娅·卡拉佩尔;冯世光;亚历山大·卡尔佐夫;马库斯·洛伊
5
2015
带约束的\(\mathrm{CTL}^{*}\)的可满足性。 Zbl 1391.03017号
克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊
4
2013
一般TBox的描述逻辑推理对于具有EHD属性的具体领域是可判定的。 Zbl 1403.68255号
克劳迪娅·卡拉佩尔;安妮·亚斯敏(Anni-Yasmin Turhan)
3
2016
具有局部树约束的\(\mathrm{ECTL}^*\)的可满足性。 Zbl 1435.03040号
克劳迪娅·卡拉佩尔;冯世光;亚历山大·卡尔佐夫;马库斯·洛伊
2
2017
带约束的\(\operatorname{ECTL}^\ast\)的可满足性。 Zbl 1358.03032号
克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊
2
2016
非单调数据字上MTL和TPTL的可满足性。 Zbl 1407.68284号
克劳迪娅·卡拉佩尔;冯世光;Fernández Gil,奥利弗;卡琳·夸斯
1
2014
关于TPTL和MTL在(omega)数据词上的表达能力。 Zbl 1464.68159号
克劳迪娅·卡拉佩尔;冯世光;奥利弗·费尔南德斯·吉尔;卡琳·夸斯
1
2014
具有本地约束的时间逻辑(受邀演讲)。 兹比尔1373.03020
克劳迪娅·卡拉佩尔;马库斯·洛伊
1
2015
具有局部树约束的\(\mathrm{ECTL}^*\)的可满足性。 Zbl 1435.03040号
克劳迪娅·卡拉佩尔;冯世光;亚历山大·卡尔佐夫;马库斯·洛伊
2
2017
一般TBox的描述逻辑推理对于具有EHD属性的具体领域是可判定的。 Zbl 1403.68255号
克劳迪娅·卡拉佩尔;安妮·亚斯敏(Anni-Yasmin Turhan)
3
2016
带约束的\(\operatorname{ECTL}^\ast\)的可满足性。 Zbl 1358.03032号
克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊
2
2016
具有树约束的\(\mathsf{ECTL}^*\)的可满足性。 Zbl 1435.03039号
克劳迪娅·卡拉佩尔;冯世光;亚历山大·卡尔佐夫;马库斯·洛伊
5
2015
具有本地约束的时间逻辑(受邀演讲)。 Zbl 1373.03020号
克劳迪娅·卡拉佩尔;马库斯·洛伊
1
2015
非单调数据字上MTL和TPTL的可满足性。 Zbl 1407.68284号
克劳迪娅·卡拉佩尔;冯世光;Fernández Gil,奥利弗;卡琳·夸斯
1
2014
关于TPTL和MTL在(omega)数据词上的表达能力。 Zbl 1464.68159号
克劳迪娅·卡拉佩尔;冯世光;奥利弗·费尔南德斯·吉尔;卡琳·夸斯
1
2014
带约束的\(\mathrm{CTL}^{*}\)的可满足性。 Zbl 1391.03017号
克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊
4
2013

按年份列出的引文