巴托斯·贝德纳西克;斯特凡·德姆里 为什么命题量化会使树上的模态逻辑和时间逻辑变得非常困难? (英语) Zbl 07577569号 日志。方法计算。科学。 18,第3号,第5号论文,46页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}和\textit{S.Demri},日志。方法计算。科学。18,第3号,第5号论文,46页(2022;Zbl 07577569) 全文: arXiv公司 链接
斯特凡·德姆里;艾蒂安·洛兹;阿莱西奥·曼苏蒂 无量词分离逻辑的完整公理化。 (英语) Zbl 07407789号 日志。方法计算。科学。 17,第3号,第17号论文,64页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,日志。方法计算。科学。17,第3号,第17号论文,64页(2021;Zbl 07407789) 全文: arXiv公司 链接
斯特凡·德姆里;迭戈·菲格拉;M·普拉文。 用计数器系统推理数据重复。 (英语) Zbl 1448.68339号 日志。方法计算。科学。 12,第3号,第1号论文,55页(2016年).MSC公司:68问题85 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,日志。方法计算。科学。12,第3号,第1号论文,55页(2016;Zbl 1448.68339) 全文: 内政部
达朗道,菲利普;斯特凡·德姆里;罗兰·迈耶;克里斯托弗·莫万 Petri网可达图:一阶属性的可判定状态。 (英语) Zbl 1248.68324号 日志。方法计算。科学。 8,第4号,第10号论文,28页(2012年).MSC公司:60年第68季度 03B25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}等人,日志。方法计算。科学。8,第4号,第10号论文,28页(2012;Zbl 1248.68324) 全文: 内政部
斯特凡·德姆里;亚历山大·拉比诺维奇 线性时间-时间逻辑在序数类上的复杂性。 (英语) Zbl 1213.03027号 日志。方法计算。科学。 6,第4号,第9号论文,25页(2010年).MSC公司:03B44号 03B25号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{A.Rabinovich},Log。方法计算。科学。6,第4号,第9号论文,25页(2010年;Zbl 1213.03027) 全文: 内政部 arXiv公司