巴托斯·贝德纳西克;斯特凡·德姆里;劳尔·费尔瓦里;阿莱西奥·曼苏蒂 用模态逻辑构造有限森林。 (英语) 兹伯利07672671 ACM事务处理。计算。日志。 24,第2期,第12号论文,46页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}等人,《美国医学杂志》。计算。日志。24,第2号,第12号论文,46页(2023年;Zbl 07672671) 全文: 内政部
弗朗西斯科·贝拉迪内利;斯特凡·德姆里 有限资源的战略推理:对可驾驭性的追求。 (英语) Zbl 1520.68183号 Artif公司。智力。 300,文章ID 103557,35 p.(2021).MSC公司:68T27型 03B44号 第68季度25 60年第68季度 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{S.Demri},Artif。智力。300,文章ID 103557,35 p.(2021;Zbl 1520.68183) 全文: 内政部 哈尔
斯特凡·德姆里;爱蒂安·洛兹;阿莱西奥·曼苏蒂 无量词分离逻辑的完整公理化。 (英语) Zbl 07407789号 日志。方法计算。科学。 17,第3号,第17号论文,64页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,日志。方法计算。科学。17,第3号,第17号论文,64页(2021;Zbl 07407789) 全文: arXiv公司 链接
斯特凡·德姆里 关于时间逻辑和分离逻辑。 (英语) 兹比尔1487.68080 Alechina,Natasha(编辑)等人,第25届时间表征与推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120,第1条,第4页(2018年)。MSC公司:68号30 03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},LIPIC——莱布尼茨国际会议记录。通知。120,第1条,第4页(2018;Zbl 1487.68080) 全文: 内政部
斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 一个量化变量的分离逻辑。 (英语) Zbl 1435.68117号 理论计算。系统。 61,第2号,371-461(2017).MSC公司:第68季度25 03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,理论计算。系统。61,第2号,371--461(2017;Zbl 1435.68117) 全文: 内政部 哈尔
斯蒂芬·德姆里;Deters,摩根 具有两个变量且没有分离连接的分离逻辑的表示完备性。 (英语) Zbl 1367.03053号 ACM事务处理。计算。日志。 17,第2号,第12条,44页(2016年).MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},ACM Trans。计算。日志。17,第2号,第12条,44页(2016;Zbl 1367.03053) 全文: 内政部
斯特凡·德姆里;Deters,摩根 分离逻辑和方式:一项调查。 (英语) Zbl 1398.03151号 J.应用。非类别。日志。 25,第1期,50-99(2015).MSC公司:03B70号 03B25号 03B44号 03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},J.Appl。非类别。日志。25,第1号,50--99(2015;Zbl 1398.03151) 全文: 内政部
斯特凡·德姆里;Deters,摩根 二元分离逻辑及其内圈。 (英语) 兹伯利1354.03036 ACM事务处理。计算。日志。 16,第2号,第15条,36页(2015年).MSC公司:03B70号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},ACM Trans。计算。日志。16,第2号,第15条,36页(2015;Zbl 1354.03036) 全文: 内政部 哈尔
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 在万能的魔杖上。 (英语) Zbl 1262.03051号 Inf.计算。 211106-137(2012年). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:03B70号 03B25号 68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,《信息计算》。211106-137(2012年;兹bl 1262.03051) 全文: 内政部
马尔塞洛·贝尔萨尼。;斯特凡·德姆里 反转有界模型检查的复杂性。 (英语) Zbl 1348.68121号 Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,71-86(2011)。MSC公司:60年第68季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}和\textit{S.Demri},莱克特。注释计算。科学。6989,71-86(2011年;兹bl 1348.68121) 全文: 内政部
斯特凡·德姆里;兰科·拉齐奇;阿诺德·桑尼尔 单计数器自动机上的模型检查记忆线性时间逻辑。 (英语) Zbl 1334.68131号 西奥。计算。科学。 411,编号22-24,2298-2316(2010).MSC公司:60年第68季度 03B44号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Theor。计算。科学。411,No.22--24,2298--2316(2010;Zbl 1334.68131) 全文: 内政部
斯特凡·德姆里;雷吉斯·加斯科 验证定性约束。 (英语) Zbl 1157.68048号 西奥。计算。科学。 409,第1号,24-40(2008).MSC公司:60年第68季度 03B44号 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Gascon},Theor。计算。科学。409,编号1,24--40(2008;Zbl 1157.68048) 全文: 内政部
斯特凡·德姆里;迪帕克·D’Souza 约束LTL的自动机理论方法。 (英语) Zbl 1113.03015号 Inf.计算。 205,第3期,380-415(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 60年第68季度 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.D’Souza},信息计算。205,第3号,380--415(2007;Zbl 1113.03015) 全文: 内政部
斯特凡·德姆里;兰科·拉齐奇;大卫·诺瓦克 关于约束LTL中的冻结量词:可决定性和复杂性。 (英语) Zbl 1116.03014号 Inf.计算。 205,编号1,2-24(2007).MSC公司:03B44号 03B25号 2017年第68季度 第68季度25 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《信息计算》。205,编号1,2--24(2007;Zbl 1116.03014) 全文: 内政部
斯特凡·德姆里 具有Presburger约束的线性时间时序逻辑:概述。 (英语) Zbl 1186.03036号 J.应用。非类别。日志。 16,第3-4、311-347号(2006).MSC公司:03B44号 05年3月 第68季度25 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Appl.(《应用》杂志)。非类别。日志。16,编号3--4,311--347(2006;Zbl 1186.03036) 全文: 内政部
斯特凡·德姆里 整数周期约束上的LTL。 (英语) 兹比尔1097.68073 西奥。计算。科学。 360,编号1-3,96-123(2006).MSC公司:60年第68季度 03B44号 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Demri},Theor。计算。科学。360,编号1--3,96-123(2006;Zbl 1097.68073) 全文: 内政部