斯特凡·德姆里;劳尔·费尔瓦里 模态分离逻辑的威力。 (英语) 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;兹bl 1444.03113) 全文: 内政部 哈尔
斯特凡·德姆里;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) 全文: 内政部 链接
斯特凡·德姆里;迪帕克·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) 全文: 内政部 链接
斯特凡·德姆里;雷吉斯·加斯科 限定句法资源对Presburger LTL的影响。 (英语) 兹比尔1193.03033 J.日志。计算。 19,第6期,1541-1575(2009).MSC公司:03B44号 03B25号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{R.Gascon},J.Log。计算。19,第6号,1541--1575(2009;Zbl 1193.03033) 全文: 内政部 哈尔
斯特凡·德姆里 从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 1093.68032号 J.日志。计算。 13,第6期,939-956(2003).MSC公司:第68页,共15页 03B45号 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}等人,J.Log。计算。13,第6号,939--956(2003;Zbl 1093.68032) 全文: 内政部 链接
斯特凡·德姆里;拉杰夫·戈尔 显示名词时态逻辑的计算。 (英语) 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 1002.03018号 J.日志。计算。 11,第6期,933-960(2001).MSC公司:03B45号 2012年第68季度 65年第68季度 65年第68季度 05年3月 03B25号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},J.Log。计算。11,第6号,933--960(2001;Zbl 1002.03018) 全文: 内政部 哈尔