巴托斯·贝德纳西克;斯特凡·德姆里;劳尔·费尔瓦里;阿莱西奥·曼苏蒂 用模态逻辑构造有限森林。 (英语) 兹伯利07672671 ACM事务处理。计算。日志。 24,第2期,第12号论文,46页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}等人,《美国医学杂志》。计算。日志。24,第2号,第12号论文,46页(2023年;Zbl 07672671) 全文: 内政部
巴托斯·贝德纳西克;斯特凡·德姆里 为什么命题量化使树上的模态逻辑和时序逻辑变得异常困难? (英语) 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 1520.68183号 Artif公司。智力。 300,文章ID 103557,35 p.(2021).MSC公司:68T27型 03B44号 65年第68季度 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公司 链接
斯特凡·德姆里;艾蒂安·洛兹;阿莱西奥·曼苏蒂 分离逻辑的内部计算。 (英语) Zbl 07650832号 Fernández,Maribel(编辑)等人,第28届EACSL计算机科学逻辑年会,CSL 2020,西班牙巴塞罗那,2020年1月13日至16日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。152,第19条,第18页(2020年)。MSC公司:68倍 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,LIPIcs——莱布尼茨国际程序。通知。152,第19条,第18页(2020;Zbl 07650832) 全文: 内政部 arXiv公司
弗朗西斯科·贝拉迪内利;斯特凡·德姆里 在ATL+中使用有限数量的资源进行推理。 (英语) Zbl 1464.68344号 De Giacomo,Giuseppe(编辑)等人,《2020年ECAI》。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。325, 624-631 (2020).MSC公司:68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}和\textit{S.Demri},前面。Artif公司。智力。申请。325624-631(2020年;Zbl 1464.68344) 全文: 内政部
巴托斯·贝德纳西克;斯特凡·德姆里;劳尔·费尔瓦里;阿莱西奥·曼苏蒂 有限森林上组合的模态逻辑:表达性和复杂性。 (英语) Zbl 1498.03049号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。167-180 (2020).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}等人,in:2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。167-180(2020年;Zbl 1498.03049) 全文: 内政部
斯特凡·德姆里;劳尔·费尔瓦里;阿莱西奥·曼苏蒂 分离连接词和模态的公理化逻辑。 (英语) Zbl 1525.03067号 Calimeri,Francesco(编辑)等人,《人工智能中的逻辑》。2019年5月7日至11日,意大利伦德,第16届欧洲会议,JELIA 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11468, 692-708 (2019).MSC公司:03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Lect。注释计算。科学。11468、692--708(2019年;Zbl 1525.03067) 全文: 内政部 哈尔
斯特凡·德姆里;劳尔·费尔瓦里 模态分离逻辑的威力。 (英语) Zbl 1444.03113号 J.日志。计算。 29,第8期,1139-1184(2019).MSC公司:03B70号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Fervari},J.Log。计算。29,第8号,1139--1184(2019;Zbl 1444.03113) 全文: 内政部 哈尔
斯特凡·德姆里 关于时间逻辑和分离逻辑。 (英语) 兹比尔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) 全文: 内政部
斯特凡·德姆里;艾蒂安·洛兹;丹尼斯·卢吉兹 关于符号堆模许可理论。 (英语) Zbl 1491.68050号 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第25条,第14页(2018年)。MSC公司:68号30 03B70号 68第05页 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,LIPIcs——莱布尼茨国际程序。通知。93,第25条,第14页(2018;兹bl 1491.68050) 全文: 内政部
斯特凡·德姆里;劳尔·费尔瓦里 模态分离逻辑的复杂性。 (英语) Zbl 1418.03077号 Bezhanishvili,Guram(编辑)等人,《模态逻辑的进展》。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:大学出版社。179-198 (2018).MSC公司:03B45号 03年2月25日 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Fervari},in:模态逻辑的进展。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:大学出版社。179-198(2018;Zbl 1418.03077)
北阿勒奇纳州。;北布林。;德姆里,S。;B·洛根。 关于资源约束逻辑的复杂性。 (英语) Zbl 1403.68136号 西奥。计算。科学。 750, 69-100 (2018).MSC公司:68问题85 03年2月25日 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,Theor。计算。科学。750、69-100(2018;Zbl 1403.68136) 全文: 内政部
斯特凡·德姆里;爱蒂安·洛兹;阿莱西奥·曼苏蒂 在命题分离逻辑中添加可达性谓词的效果。 (英语) 兹比尔1504.68128 Baier,Christel(编辑)等人,《软件科学和计算结构基础》。2018年4月14日至20日在希腊塞萨洛尼基举行的第21届国际会议FOSSACS 2018,作为欧洲软件理论与实践联合会议ETAPS 2018的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10803, 476-493 (2018).MSC公司:60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Lect。注释计算。科学。10803、476--493(2018年;Zbl 1504.68128) 全文: 内政部 arXiv公司
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 模型检验平面计数器系统和Presburger算法之间的等价性。 (英语) Zbl 1393.68100号 西奥。计算。科学。 735, 2-23 (2018).MSC公司:60年第68季度 03B44号 30楼03号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Theor。计算。科学。735,2--23(2018;Zbl 1393.68100) 全文: 内政部
斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 一个量化变量的分离逻辑。 (英语) Zbl 1435.68117号 理论计算。系统。 61,第2号,371-461(2017).MSC公司:65年第68季度 03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,理论计算。系统。61,第2号,371--461(2017;Zbl 1435.68117) 全文: 内政部 哈尔
娜塔莎·亚历奇纳;牛,尼尔斯;斯蒂芬·德姆里;洛根,布莱恩 关于资源约束逻辑的复杂性。 (英语) Zbl 1403.68137号 Larsen,Kim Guldstrand(编辑)等人,《可达性问题》。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。查姆:施普林格(ISBN 978-3-319-45993-6/pbk;978-3-3169-45994-3/电子书)。计算机科学讲座笔记9899,36-50(2016)。MSC公司:68问题85 03年2月25日 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,Lect。注释计算。科学。9899,36-50(2016;Zbl 1403.68137) 全文: 内政部 链接
斯蒂芬·德姆里;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) 全文: 内政部
列夫·贝克莱米舍夫(编辑);斯特凡·德姆里(编辑);马特,安德拉斯(编辑) 模态逻辑的进展。第11卷。2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届会议记录(AiML 2016)。 (英语) Zbl 1367.03009号 伦敦:学院出版物(ISBN 978-1-84890-201-5/pbk)。xii,第570页。(2016).MSC公司:03-06 03B45号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Beklemishev}(编辑)等人,《模态逻辑的进展》。第11卷。第十一届会议记录(AiML 2016),匈牙利布达佩斯,2016年8月30日至9月2日。伦敦:学院出版物(2016;Zbl 1367.03009)
斯特凡·德姆里;Deters,摩根 带有前缀关系的字符串上的时态逻辑。 (英语) Zbl 1353.68176号 J.日志。计算。 26,第3期,989-1017(2016).MSC公司:60年第68季度 03B44号 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},J.Log。计算。26,第3号,989--1017(2016;Zbl 1353.68176) 全文: 内政部 链接
斯特凡·德姆里;迭戈·菲格拉;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) 全文: 内政部
斯特凡·德姆里;瓦伦丁·戈兰科;马丁·兰格 计算机科学中的时间逻辑。有限状态系统。 (英语) Zbl 1380.68003号 剑桥理论计算机科学丛书58.剑桥:剑桥大学出版社(ISBN 978-1-107-02836-4/hbk;978-1-139-23611-9/电子书)。viii,第744页。(2016). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:68-02 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《计算机科学中的时间逻辑》。有限状态系统。剑桥:剑桥大学出版社(2016;Zbl 1380.68003) 全文: 内政部
斯特凡·德姆里;Deters,摩根 分离逻辑和方式:一项调查。 (英语) Zbl 1398.03151号 J.应用。非类别。日志。 25,第1期,50-99(2015).MSC公司:03B70号 03年2月25日 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号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},ACM Trans。计算。日志。16,第2号,第15条,36页(2015;Zbl 1354.03036) 全文: 内政部 哈尔
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 驯服过去的LTL和扁平计数器系统。 (英语) Zbl 1378.68112号 Inf.计算。 242, 306-339 (2015).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,《信息计算》。242306--339(2015年;Zbl 1378.68112) 全文: 内政部
斯特凡·德姆里;Deters,摩根 分离逻辑中模式的影响(扩展抽象)。 (英语) Zbl 1385.03036号 Goré,Rajeev(编辑)等人,《模态逻辑的进展》。第10卷。第十届会议记录(AiML 2014),荷兰格罗宁根,2014年8月5-8日。伦敦:学院出版物(ISBN 978-1-84890-151-3/pbk)。134-138 (2014).MSC公司:03B70号 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},in:模态逻辑的进展。第10卷。第十届会议记录(AiML 2014),荷兰格罗宁根,2014年8月5-8日。伦敦:大学出版社。134--138(2014;Zbl 1385.03036)
斯特凡·德姆里;Deters,摩根 具有两个变量且没有分离连接的分离逻辑的表示完备性。 (英语) Zbl 1394.03054号 2014年7月14日至18日,奥地利维也纳,2014年第二十三届EACSL计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑年会联席会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4503-2886-9)。第37号文件,第10页(2014年)。MSC公司:03B70号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},in:第二十三届EACSL计算机科学逻辑年会联席会议记录,CSL,2014年第29届ACM/IEEE计算机科学逻辑研讨会,LICS 2014,奥地利维也纳,2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。第37号文件,第10页(2014年;兹bl 1394.03054) 全文: 内政部
斯特凡·德姆里;阿米特·达尔;阿诺德·桑尼尔 模型检查平面计数器系统和Presburger算法之间的等效性。 (英语) Zbl 1393.68101号 Ouaknine,Joöl(编辑)等人,《可达性问题》。2014年9月22日至24日,英国牛津,RP 2014,第八届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-11438-5/pbk)。计算机科学课堂讲稿8762,85-97(2014)。MSC公司:60年第68季度 03B44号 30楼03号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Lect。注释计算。科学。8762,85-97(2014年;兹bl 1393.68101) 全文: 内政部
斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 一个量化变量的分离逻辑。 (英语) Zbl 1408.68036号 爱德华·赫施(Edward A.Hirsch)等,《计算机科学——理论与应用》。2014年6月7日至11日,第九届俄罗斯国际计算机科学研讨会,CSR 2014,俄罗斯莫斯科。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8476, 125-138 (2014).MSC公司:68号30 03B70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Lect。注释计算。科学。8476、125--138(2014年;Zbl 1408.68036) 全文: 内政部 哈尔
斯特凡·德姆里;迭戈·菲格拉;M·普拉文。 用计数器系统推理数据重复。 (英语) Zbl 1366.68202号 2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2013,美国洛杉矶新奥尔良杜兰大学,2013年6月25-28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。33-42 (2013).MSC公司:68问题85 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,摘自:2013年6月25日至28日美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。33-42(2013年;Zbl 1366.68202) 全文: 内政部 arXiv公司
克拉克·巴雷特;斯特凡·德姆里;Deters,摩根 见证柜台机器的运行。 (英语) Zbl 1397.68122号 Fontaine,Pascal(编辑)等人,《组合系统的前沿》。2013年9月18日至20日,第九届国际研讨会,FroCoS,法国南希。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40884-7/pbk)。计算机科学课堂讲稿8152。《人工智能课堂讲稿》,120-150(2013)。MSC公司:60年第68季度 03B44号 30楼03号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,Lect。注释计算。科学。8152、120-150(2013;Zbl 1397.68122) 全文: 内政部 哈尔
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 关于检验平面计数器系统正则性质的复杂性。 (英语) Zbl 1334.68130号 Fomin,Fedor V.(编辑)等人,《自动化、语言和编程》。2013年7月8日至12日,第40届国际学术讨论会,ICALP 2013,拉脱维亚里加,会议记录,第二部分。柏林:施普林格出版社(ISBN 978-3-642-39211-5/pbk)。计算机科学课堂讲稿7966,162-173(2013)。MSC公司:60年第68季度 03B70号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Lect。注释计算。科学。7966、162--173(2013年;Zbl 1334.68130) 全文: 内政部 arXiv公司
克什蒂吉·班萨尔;斯特凡·德姆里 模型检查有界多下拉系统。 (英语) Zbl 1381.68145号 Bulatov,Andrei A.(编辑)等人,《计算机科学——理论与应用》。2013年6月25日至29日,第八届俄罗斯国际计算机科学研讨会,CSR 2013,俄罗斯叶卡捷琳堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38535-3/pbk)。计算机科学课堂讲稿7913,405-417(2013)。MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bansal}和\textit{S.Demri},莱克特。注释计算。科学。7913、405--417(2013年;Zbl 1381.68145) 全文: 内政部
法孔多·卡雷罗;斯特凡·德姆里 超越普雷斯伯格模态逻辑的规律性。 (英语) Zbl 1318.03029号 托马斯·博兰德(编辑)等人,《模态逻辑的进展》。第9卷。第九届会议记录(AiML 2012),丹麦哥本哈根,2012年8月22日至25日。伦敦:学院出版物(ISBN 978-1-84890-068-4/pbk)。161-182 (2012).MSC公司:03B45号 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{F.Carreiro}和\textit{S.Demri},in:模态逻辑的进展。第9卷。第九届会议记录(AiML 2012),丹麦哥本哈根,2012年8月22日至25日。伦敦:大学出版社。161--182(2012;Zbl 1318.03029)
佩德罗·卡巴拉尔;斯特凡·德姆里 基于自动机的时间平衡模型计算。 (英语) Zbl 1377.68060号 维达尔·格曼(编辑),基于逻辑的程序合成和转换。2011年LOPSTR第21届国际研讨会。丹麦欧登塞,2011年7月18日至20日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-32210-5/pbk)。计算机科学课堂讲稿7225,57-72(2012)。MSC公司:68N17号 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}和\textit{S.Demri},莱克特。注释计算。科学。7225,57-72(2012;Zbl 1377.68060) 全文: 内政部
斯特凡·德姆里;保罗·加斯丁 使用时序逻辑进行规范和验证。 (英语) Zbl 1256.68101号 D’Souza,Deepak(编辑)等人,自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言:莱因哈德·威廉姆。新泽西州哈肯萨克:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,457-493(2012)。MSC公司:65年第68季度 05年3月 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{P.Gastin},IISc Res.Monogr。序列号。2457-493(2012年;Zbl 1256.68101) 全文: 内政部
菲利普·达伦多;斯特凡·德姆里;罗兰·梅耶;克里斯托夫·莫尔万 Petri网可达图:一阶属性的可判定状态。 (英语) Zbl 1248.68324号 日志。方法计算。科学。 8,第4号,第10号论文,28页(2012年).MSC公司:60年第68季度 03年2月25日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}等人,日志。方法计算。科学。8,第4号,第10号论文,28页(2012;Zbl 1248.68324) 全文: 内政部
斯特凡·德姆里;迪帕克D’Souza;加斯康,雷吉斯 重复值的时间逻辑。 (英语) Zbl 1279.68203号 J.日志。计算。 22,第5期,1059-1096(2012).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,J.Log。计算。22,第5号,1059--1096(2012;Zbl 1279.68203) 全文: 内政部 链接
斯特凡·德姆里;阿米特·库马尔·达尔;阿诺德·桑尼尔 驯服过去的LTL和扁平计数器系统。 (英语) Zbl 1358.68186号 Gramlich,Bernhard(编辑)等人,《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议,IJCAR 2012。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31364-6/pbk)。计算机科学课堂讲稿7364。《人工智能课堂讲稿》,179-193年(2012年)。MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Lect。注释计算。科学。7364、179--193(2012年;Zbl 1358.68186) 全文: 内政部 arXiv公司
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 在万能的魔杖上。 (英语) Zbl 1262.03051号 Inf.计算。 211106-137(2012年). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:03B70号 03年2月25日 68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,《信息计算》。211106-137(2012年;兹bl 1262.03051) 全文: 内政部
菲利普·达伦多;斯特凡·德姆里;罗兰·梅耶;克里斯托夫·莫尔万 Petri网可达图:FO属性的可判定状态。 (英语) Zbl 1246.68162号 Chakraborthy,Supraik(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2011),印度孟买,2011年12月12-14日。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-34-7)。LIPIcs–莱布尼茨国际信息学会议录13,140-151,仅电子版(2011年)。MSC公司:68问题85 60年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}等人,LIPIcs——莱布尼茨国际程序。通知。13、140--151(2011;Zbl 1246.68162) 全文: 内政部 arXiv公司
斯特凡·德姆里;亚历山大·拉比诺维奇 序数类上线性时间逻辑的复杂性。 (英语) Zbl 1213.03027号 日志。方法计算。科学。 6,第4号,第9号论文,25页(2010年).MSC公司:03B44号 03年2月25日 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{A.Rabinovich},Log。方法计算。科学。6,第4号,第9号论文,25页(2010年;Zbl 1213.03027) 全文: 内政部 arXiv公司
斯特凡·德姆里;丹尼斯·卢吉兹 具有Presburger约束的模态逻辑的复杂性。 (英语) Zbl 1220.03008号 J.应用。日志。 8,第3期,233-252(2010年). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B45号 03B70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Lugiez},J.Appl。日志。8,编号3233-252(2010年;兹bl 1220.03008) 全文: 内政部
斯特凡·德姆里;兰科·拉齐奇;阿诺德·桑尼尔 单计数器自动机上的模型检查记忆线性时间逻辑。 (英语) Zbl 1334.68131号 西奥。计算。科学。 411,编号22-24,2298-2316(2010).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Theor。计算。科学。411,No.22--24,2298--2316(2010;Zbl 1334.68131) 全文: 内政部
斯特凡·德姆里;阿诺德·桑尼尔 当模型检查冻结时,柜台上的LTL机器变得可判定。 (英语) Zbl 1284.68394号 Ong,Luke(编辑),《软件科学和计算结构基础》。2010年3月20日至28日,作为欧洲软件理论和实践联合会议的一部分,在塞浦路斯帕福斯举行了第13届国际会议,FOSSACS 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12031-2/pbk)。计算机科学课堂讲稿6014176-190(2010)。MSC公司:60年第68季度 03年2月25日 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{A.Sangnier},莱克特。注释计算。科学。6014176-190(2010年;Zbl 1284.68394) 全文: 内政部
斯特凡·德姆里;兰科·拉齐奇 带有冻结量词和寄存器自动机的LTL。 (英语) Zbl 1351.68158号 ACM事务处理。计算。日志。 第10号第3条第16条第30页(2009年).MSC公司:60年第68季度 03年2月25日 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Lazić},ACM翻译。计算。日志。10,第3号,第16条,30页(2009年;Zbl 1351.68158) 全文: 内政部
卡洛斯·阿雷塞斯(编辑);斯特凡·德姆里(编辑) 2007年11月29日至30日,法国卡尚,第五届模式方法研讨会会议记录(M4M5,2007)。 (英语) Zbl 1279.03015号 理论计算机科学电子笔记231.阿姆斯特丹:爱思唯尔。361页。,仅电子版(2009年)。MSC公司:03-06 03B35型 03B45号 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}(编辑)和\textit{S.Demri}(编辑),第五届模态方法研讨会论文集(M4M5 2007),法国卡尚,2007年11月29日至30日。阿姆斯特丹:爱思唯尔(2009;Zbl 1279.03015) 全文: 链接
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 关于记忆状态序列的推理。 (英语) Zbl 1225.68068号 Ann.纯粹应用。逻辑 161,第3号,305-323(2009).MSC公司:68号30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,Ann.Pure Appl。逻辑161,编号3,305-323(2009;Zbl 1225.68068) 全文: 内政部
斯特凡·德姆里;加斯康,雷吉斯 限定句法资源对Presburger LTL的影响。 (英语) Zbl 1193.03033号 J.日志。计算。 19,第6期,1541-1575(2009).MSC公司:03B44号 03年2月25日 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Gascon},J.Log。计算。19,第6号,1541--1575(2009;Zbl 1193.03033) 全文: 内政部
斯特凡·德姆里;加斯康,雷吉斯 验证定性约束。 (英语) Zbl 1157.68048号 西奥。计算。科学。 409,第1号,24-40(2008).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Gascon},Theor。计算。科学。409,编号1,24--40(2008;Zbl 1157.68048) 全文: 内政部
拉米·布罗切宁;斯特凡·德姆里;艾蒂安·洛兹 在万能的魔杖上。 (英语) Zbl 1157.03010号 迈克尔·卡明斯基(编辑)等人,《计算机科学逻辑》。2008年9月16日至19日,在意大利贝蒂诺罗举行的第22届CSL国际研讨会,第17届EACSL年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87530-7/pbk)。计算机科学课堂讲稿5213,323-338(2008)。MSC公司:03B70号 03年2月25日 68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,Lect。注释计算。科学。5213、323--338(2008;Zbl 1157.03010) 全文: 内政部 哈尔
斯特凡·德姆里;兰科·拉齐奇;阿诺德·桑尼尔 模型检查通过单计数器自动机冻结LTL。 (英语) Zbl 1139.68038号 Amadio,Roberto(编辑),《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008,该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78497-5/pbk)。《计算机科学讲义》4962490-504(2008)。MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Lect。注释计算。科学。4962、490--504(2008年;Zbl 1139.68038) 全文: 内政部
斯特凡·德姆里;亚历山大·拉比诺维奇 具有until和since超过序数的时序逻辑的复杂性。 (英语) Zbl 1137.03308号 Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,531-545(2007)。MSC公司:03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{A.Rabinovich},莱克特。注释计算。科学。4790、531--545(2007年;Zbl 1137.03308) 全文: 内政部
斯特凡·德姆里;迪帕克D’Souza;加斯康,雷吉斯 重复值的可判定时序逻辑。 (英语) Zbl 1132.03337号 Artemov,Sergei N.(编辑)等人,《计算机科学的逻辑基础》。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72732-3/pbk)。计算机科学课堂讲稿4514,180-194(2007)。MSC公司:03B70号 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,Lect。注释计算。科学。4514、180--194(2007年;Zbl 1132.03337) 全文: 内政部 链接
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 关于记忆状态序列的推理。 (英语) Zbl 1132.68335号 Artemov,Sergei N.(编辑)等人,《计算机科学的逻辑基础》。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72732-3/pbk)。计算机科学课堂讲稿4514,100-114(2007)。MSC公司:68号30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,Lect。注释计算。科学。4514、100-114(2007年;Zbl 1132.68335) 全文: 内政部
斯特凡·德姆里;大卫·诺瓦克 关于超限序列的推理。 (英语) Zbl 1109.68065号 发现的国际期刊。计算。科学。 18,第1号,87-112(2007).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Nowak},国际期刊发现。计算。科学。18,第1号,87--112(2007;Zbl 1109.68065) 全文: 内政部
斯特凡·德姆里;迪帕克D’Souza 约束LTL的自动机理论方法。 (英语) 兹伯利1113.03015 Inf.计算。 205,第3期,380-415(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 60年第68季度 05年3月 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.D’Souza},信息计算。205,第3号,380--415(2007;Zbl 1113.03015) 全文: 内政部
斯特凡·德姆里;或者鄂尔多斯卡 相对非确定性信息逻辑是EXPTIME-complete。 (英语) Zbl 1108.68107号 芬丹。通知。 75,编号1-4163-178(2007).MSC公司:68T27型 03年2月25日 05年3月 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{E.Orłowska},Fundam。通知。75,编号1--4,163-178(2007;Zbl 1108.68107)
斯特凡·德姆里;兰科·拉齐奇;大卫·诺瓦克 关于约束LTL中的冻结量词:可决定性和复杂性。 (英语) Zbl 1116.03014号 Inf.计算。 205,编号1,2-24(2007).MSC公司:03B44号 03年2月25日 2017年第68季度 65年第68季度 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月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Appl.(《应用》杂志)。非类别。日志。16,编号3--4,311--347(2006;Zbl 1186.03036) 全文: 内政部
斯特凡·德姆里;丹尼斯·卢吉兹 Presburger模态逻辑是完整的PSPACE。 (英语) Zbl 1222.03024号 Furbach,Ulrich(编辑)等人,《自动推理》。2006年8月17日至20日,第三届国际联合会议,IJCAR 2006,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37187-8/pbk)。计算机科学讲义4130。人工智能课堂讲稿,541-556(2006)。MSC公司:03B45号 03年2月25日 03B35型 2017年第68季度 65年第68季度 68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Lugiez},莱克特。注释计算。科学。4130541--556(2006;Zbl 1222.03024) 全文: 内政部
斯特凡·德姆里 整数周期约束上的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) 全文: 内政部
斯特凡·德姆里;大卫·诺瓦克 关于超限序列的推理。(扩展摘要)。 (英语) Zbl 1170.68513号 Peled,Doron A.(编辑)等人,用于验证和分析的自动化技术。2005年10月4日至7日,第三届国际研讨会,ATVA 2005,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29209-8/pbk)。计算机科学课堂讲稿3707,248-262(2005)。MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Nowak},莱克特。注释计算。科学。3707、248--262(2005年;Zbl 1170.68513) 全文: 内政部
斯特凡·德姆里 从DLP减少到PDL。 (英语) Zbl 1092.03016号 J.日志。计算。 15,第5期,767-785(2005). 审核人:内库莱·柯特阿努(伊阿什伊) MSC公司:03B70号 03B45号 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Log。计算。15,第5号,767--785(2005;Zbl 1092.03016) 全文: 内政部 链接
斯特凡·德姆里;汉斯·德·尼维尔 通过一阶逻辑用逆确定正则语法逻辑。 (英语) Zbl 1083.03023号 J.逻辑语言信息。 14,第3期,289-329(2005).MSC公司:03B45号 2012年第68季度 03年2月25日 03B20型 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{H.de Nivelle},J.Logic Lang.Inf.14,No.3,289--329(2005;Zbl 1083.03023) 全文: 内政部 arXiv公司
斯特凡·德姆里 整数周期约束上的LTL(扩展摘要)。 (英语) Zbl 1126.68471号 Walukiewicz,Igor(编辑),软件科学和计算结构基础。2004年3月29日至4月2日在西班牙巴塞罗那举行的第七届国际会议FOSSACS 2004,是欧洲软件理论与实践联合会议ETAPS 2004的一部分。议事程序。柏林:施普林格出版社(ISBN 3-540-21298-1/pbk)。计算机科学课堂讲稿2987121-135(2004)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},莱克特。注释计算。科学。2987121-135(2004年;Zbl 1126.68471) 全文: 内政部
娜塔莎·亚历奇纳;斯特凡·德姆里;马尔滕·德·里杰克 路径约束的模态透视图。 (英语) Zbl 1093.68032号 J.日志。计算。 13,第6期,939-956(2003).MSC公司:第68页,共15页 03B45号 03年2月25日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,J.Log。计算。13,第6号,939--956(2003;Zbl 1093.68032) 全文: 内政部 链接
斯特凡·德姆里 弱递归形式的模态逻辑:PSPACE样本。 (英语) Zbl 1031.03031号 Wolter,Frank(编辑)等人,《模态逻辑的进展》。第3卷。2000年10月4日至7日,德国莱比锡,第三届AiML研讨会论文集。新加坡:世界科学。113-138 (2002).MSC公司:03B45号 2015年3月1日 03B70号 20层03 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},in:模态逻辑的进展。第3卷。第三届AiML研讨会会议记录,德国莱比锡,2000年10月4-7日。新加坡:世界科学。113--138(2002年;Zbl 1031.03031)
斯特凡·德姆里;迪帕克D’Souza 约束LTL的自动机理论方法。 (英语) Zbl 1027.03027号 Agrawal,Manindra(编辑)等人,FST TCS 2002:软件技术和理论计算机科学基础。第二十二届会议,印度坎普尔,2002年12月12日至14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2556, 121-132 (2002).MSC公司:03B70号 03B44号 60年第68季度 65年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.D'Souza},莱克特。注释计算。科学。2556121-132(2002年;Zbl 1027.03027) 全文: 链接
斯特凡·德姆里;乌尔里克·萨特勒 信息逻辑的自动机理论决策过程。 (英语) Zbl 1025.03021号 芬丹。通知。 53,第1期,1-22页(2002年).MSC公司:03B70号 03年2月25日 65年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{U.S.Sattler},Fundam。通知。53,第1号,1--22(2002;Zbl 1025.03021)
斯特凡·德姆里;拉杰夫·戈尔 显示名词时态逻辑的计算。 (英语) Zbl 1016.03018号 J.日志。计算。 12,第6期,993-1016(2002). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Goré},J.Log。计算。12,第6号,993--1016(2002;Zbl 1016.03018) 全文: 内政部
斯特凡·德姆里;菲利普·施诺贝伦 简单情况下命题线性时序逻辑的复杂性。 (英语) Zbl 1009.68072号 Inf.计算。 174,第1期,84-103(2002).MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{P.Schnoebelen},Inf.Comput。174,第1号,84--103(2002;Zbl 1009.68072) 全文: 内政部 链接
斯特凡·德姆里 语法逻辑和相关模态逻辑中规则的复杂性。 (英语) Zbl 1002.03018号 J.日志。计算。 11,第6期,933-960(2001).MSC公司:03B45号 2012年第68季度 65年第68季度 65年第68季度 05年3月 03年2月25日 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Log。计算。11,第6号,933--960(2001;Zbl 1002.03018) 全文: 内政部 哈尔
斯特凡·德姆里 用相对可及关系处理逻辑中的关系半格。 (英语) Zbl 0993.03015号 或łowska,Ewa(ed.)等人,《计算机科学应用的关系方法》。海德堡:Physica-Verlag。模糊软计算研究。65, 163-181 (2001).MSC公司:03B45号 03B70号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},Stud.模糊软计算。65、163--181(2001年;Zbl 0993.03015)
斯特凡·德姆里 命题有限多值逻辑的简单模式编码。 (英语) Zbl 0992.03031号 多重-有价值的日志。 5,第6号,443-461(2000).MSC公司:03B50号 03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},多特-有价值的日志。5,第6号,443--461(2000;Zbl 0992.03031)
斯特凡·德姆里 简单相关双模逻辑的复杂性。 (英语) Zbl 0963.03076号 Dyckhoff,Roy(编辑),用分析表和相关方法进行自动推理。2000年7月3日至7日,苏格兰圣安德鲁斯,TABLEAUX 2000国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1847190-204(2000年)。MSC公司:20层03 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},莱克特。注释计算。科学。1847190-204(2000年;兹bl 0963.03076)
斯特凡·德姆里;杰洛斯·斯捷潘纽克 基于粗糙集的多模态逻辑的计算复杂性。 (英语) Zbl 0971.03023号 芬丹。通知。 44,第4期,373-396(2000).MSC公司:03B45号 68T27型 2015年3月1日 2017年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{J.Stepaniuk},Fundam。通知。44,第4号,373--396(2000;Zbl 0971.03023)
斯特凡·德姆里;Dov Gabbay公司 以具有相对可及性关系的模型为特征的模态逻辑。二、。 (英语) Zbl 0981.03031号 螺柱日志。 66,第3期,349-384(2000). 审核人:安娜·戈莫利安斯卡(比亚莱斯托克) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Gabbay},Stud.Log。66,第3号,349--384(2000;Zbl 0981.03031) 全文: 内政部
斯特凡·德姆里;Dov Gabbay公司 以具有相对可及性关系的模型为特征的模态逻辑。一、。 (英语) Zbl 0969.03028号 螺柱日志。 65,第3期,323-353(2000). 审核人:安娜·戈莫利安斯卡(比亚莱斯托克) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{D.Gabbay},Stud.Log。65,第3号,323--353(2000;Zbl 0969.03028) 全文: 内政部
斯特凡·德姆里 非确定性信息逻辑NIL是完整的PSPACE。 (英语) Zbl 0953.03036号 芬丹。通知。 42,编号3-4,211-234(2000).MSC公司:03B70号 68T27型 2015年3月1日 2017年第68季度 20层03 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},芬达姆。通知。42,编号3--4,211-234(2000;Zbl 0953.03036)
斯特凡·德姆里;拉杰夫·戈尔 从Grz到经典一阶逻辑的可判定片段的({mathcal O}((n\logn)^3)时间变换。 (英语) Zbl 0956.03026号 卡费拉、里卡多(编辑)等,《经典和非经典逻辑中的自动演绎》。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1761, 152-166 (2000).MSC公司:03B45号 03层45 03B35型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Goré},莱克特。注释计算。科学。1761、152--166(2000;Zbl 0956.03026)
斯特凡·德姆里;拉杰夫·戈尔 显示具有相对可访问性关系的逻辑的计算。 (英语) Zbl 0988.03030号 J.逻辑语言信息。 9,第2期,213-236(2000).MSC公司:03B42型 68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Goré},J.Logic Lang.Inf.9,No.2,213--236(2000;Zbl 0988.03030) 全文: 内政部
斯特凡·德姆里;或者鄂尔多斯卡 信息可代表性:抽象模型与具体模型。 (英语) Zbl 0945.03041号 Dubois,Didier(编辑)等人,《模糊集、逻辑和知识推理》。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。15, 301-314 (1999). 审核人:A.A.Mullin(亨茨维尔) MSC公司:03B70号 68T27型 68页99 03B44号 03B45号 03克12 2012年2月6日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{E.或łowska},应用。日志。序列号。15、301-314(1999;Zbl 0945.03041)
斯特凡·德姆里;拉杰夫·戈尔 从模态可证明逻辑到一阶逻辑的可追踪转换。 (英语) Zbl 0938.03032号 Ganzinger,Harald(编辑),自动扣除-CADE-16。第十六届国际会议,意大利特伦托,1999年7月7日至10日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1632,16-30(1999年)。 审核人:N.M.格拉祖诺夫(基辅) MSC公司:03B45号 03B35型 03层45 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Goré},莱克特。注释计算。科学。1632,16-30(1999;Zbl 0938.03032)
斯特凡·德姆里;拉杰夫·戈尔 名词时态逻辑的无裁剪显示计算。 (英语) Zbl 0931.03032号 Murray,Neil V.(编辑),使用分析表和相关方法进行自动推理。国际会议,TABLEAUX'99,美国纽约州萨拉托加斯普林斯,1999年6月7日至11日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1617, 155-170 (1999).MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Goré},莱克特。注释计算。科学。1617,155--170(1999;Zbl 0931.03032)
斯特凡·德姆里 名词时态逻辑的顺序计算:走向机械化的一步? (英语) Zbl 0931.03031号 Murray,Neil V.(编辑),使用分析表和相关方法进行自动推理。1999年6月7日至11日,美国纽约州萨拉托加斯普林斯,1999年TABLEAUX国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1617, 140-154 (1999).MSC公司:03B44号 05年3月 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},莱克特。注释计算。科学。1617,140--154(1999;Zbl 0931.03031)
斯特凡·德姆里;或者鄂尔多斯卡 信息逻辑模型的信息表示性。 (英语) Zbl 0923.03039号 或者,埃瓦·奥斯卡(编辑),《工作中的逻辑》。纪念海伦娜·拉西奥瓦的散文。海德堡:Physica-Verlag。模糊软计算研究。24383-409(1999年)。 审核人:A.A.Mullin(亨茨维尔) MSC公司:03B60号 68立方英尺 03B80号 03B45号 05年3月 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{E.Orłowska},Stud.Fuzziness软计算。24383-409(1999年;兹bl 0923.003039)
斯特凡·德姆里;或者鄂尔多斯卡 每个有限可约逻辑都具有关于(菱形)公式类的有限模型性质。 (英语) Zbl 0921.03021号 螺柱日志。 62,第2期,177-200(1999).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{E.或łowska},Stud.Log。62,第2号,177--200(1999;Zbl 0921.03021) 全文: 内政部
斯特凡·德姆里 具有相关知识运算符的逻辑。 (英语) Zbl 0928.68107号 J.逻辑语言信息。 8,第2期,167-185(1999).MSC公司:68立方英尺 68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Logic Lang.Inf.8,No.2,167--185(1999;Zbl 0928.68107) 全文: 内政部
斯特凡·德姆里;Konikowska,比塔 相对相似性逻辑是可判定的:用等式化简为\(\text{FO}^2\)。 (英语) Zbl 0935.03018号 Dix,Jürgen(编辑)等人,《人工智能中的逻辑》。欧洲研讨会,JELIA’98。德国达格斯图尔,1998年10月12日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1489, 279-293 (1998). 审核人:A.A.Mullin(亨茨维尔) MSC公司:03年2月25日 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{B.Konikowska},莱克特。注释计算。科学。1489、279--293(1998年;Zbl 0935.03018)
斯特凡·德姆里 一类可判定的信息逻辑。 (英语) Zbl 0902.68062号 西奥。计算。科学。 195,第1期,33-60(1998).MSC公司:68页99 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{S.Demri},Theor。计算。科学。195,编号1,33--60(1998;Zbl 0902.68062) 全文: 内政部
德姆里,S。;Schnoebelen博士。 简单情况下命题线性时序逻辑的复杂性。(扩展摘要)。 (英语) Zbl 0919.03012号 Morvan,Michel(编辑)等人,STACS 98。第十五届计算机科学理论研讨会。1998年2月25日至27日,法国巴黎。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1373, 61-72 (1998). 审核人:彼得·扬查尔(俄斯特拉发) MSC公司:03B45号 65年第68季度 2015年3月1日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{Ph.Schnoebelen},莱克特。注释计算。科学。1373、61-72(1998年;Zbl 0919.03012)
斯特凡·德姆里 一个逻辑的完备性证明,其中包含另一个必然运算符。 (英语) Zbl 0864.03012号 螺柱日志。 58,第1期,99-112(1997).MSC公司:03B45号 68T27型 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},螺柱日志。58,第1号,99--112(1997;Zbl 0864.03012) 全文: 内政部
斯特凡·德姆里 模态逻辑S5的扩展保持了NP完全性。 (英语) Zbl 0878.03013号 牛市。第节。日志。,大学后勤部。 26,第2期,73-84(1997).MSC公司:03B45号 2015年3月1日 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},公牛。第节。日志。,大学后勤部。26,第2号,73--84(1997;Zbl 0878.03013)
斯特凡·德姆里;或者鄂尔多斯卡 关于(菱形)公式集具有有限模型性质的一类模态逻辑。 (英语) Zbl 0874.03019号 牛市。第节。日志。,大学后勤部。 26,第1号,39-49(1997).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{E.或łowska},公牛。第节。日志。,大学后勤部。26,第1号,第39-49条(1997;Zbl 0874.03019)
斯特凡·德姆里;或者鄂尔多斯卡 恶魔非确定性程序的逻辑分析。 (英语) Zbl 0872.03018号 西奥。计算。科学。 166,第1-2号,173-202(1996).MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{E.或łowska},Theor。计算。科学。166,编号1-2173-202(1996年;Zbl 0872.03018) 全文: 内政部
斯特凡·德姆里 逻辑DALLA的有效性问题是可以判定的。 (英语) 兹伯利0847.03012 牛市。波兰。阿卡德。科学。,数学。 44,第1期,79-86(1996).MSC公司:03B45号 68T27型 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},公牛。波兰。阿卡德。科学。,数学。44,编号1,79--86(1996;Zbl 0847.03012)
斯特凡·德姆里 其他地方逻辑的简单表格系统。 (英语) Zbl 1415.03021号 Migliolo,P.(编辑)等人,用解析表和相关方法证明定理。第五届国际研讨会,1996年5月15日至17日,意大利巴勒莫Terrasini,TABLEAUX’96。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1071, 177-192 (1996).MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},莱克特。注释计算。科学。1071、177--192(1996年;Zbl 1415.03021) 全文: 内政部
斯特凡·德姆里 一类具有可判定有效性问题的信息逻辑。 (英语) Zbl 0886.03014号 Penczek,Wojciech(编辑)等人,《计算机科学的数学基础》,1996年。1996年9月2日至6日,第21届国际研讨会,MFCS’96,波兰克拉科夫。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1113, 291-302 (1996).MSC公司:03B45号 68T27型 68立方英尺 03年2月25日 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},莱克特。注释计算。科学。1113291--302(1996;Zbl 0886.03014)
斯特凡·德姆里 模态逻辑表格计算的统一和非统一策略。 (英语) Zbl 0826.03006号 J.应用。非类别。日志。 5,第1期,77-96(1995). 审核人:H.J.Ohlbach(萨尔布吕肯) MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Appl.(《应用》杂志)。非类别。日志。5,编号1,77-96(1995年;Zbl 0826.03006) 全文: 内政部