提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日志/jar/EchenimM24非盟-埃切尼姆，姆纳乔AU-Mhalla，迈赫迪TI-Isabelle/HOL中CHSH不等式和Tsirelson上界的形式化。JO-J.汽车。原因。VL-68IS-1标准SP-2PY-2024/03年/DO-10.1007/S10817-023-09689-9UR-（欧元）https://doi.org/10.1007/s10817-023-09689-9急诊室-TY-JOUR公司ID-DBLP：期刊/afp/EchenimMM23非盟-埃切尼姆，姆纳乔AU-Mhalla，迈赫迪澳大利亚-森喜朗TI-CHSH不等式：Tsirelson的上界和其他结果。JO-架构。正式证明VL-2023年2023年上半年//UR-（欧元）https://www.isa-afp.org/entries/TsirelsonBound.html急诊室-TY-JOUR公司ID-DBLP:期刊/ipl/EchenimP23非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-分离逻辑与理论推理的不可判定性结果。JO-信息处理。莱特。VL-182SP-106359PY-2023/08年/DO-2016年10月10日/J.IPL.2023.106359UR-（欧元）https://doi.org/10.1016/j.ipl.2023.106359急诊室-TY-JOUR公司ID-DBLP:日志/jar/EchenimP23非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-一种带有归纳定义和数据的分离逻辑证明程序。JO-J.汽车。原因。VL-67IS-3标准SP-30PY-2023/09年/文件编号：10.1007/S10817-023-09680-4UR-（欧元）https://doi.org/10.1007/s10817-023-09680-4网址急诊室-TY-CPAPER公司ID-DBLP:conf/fossacs/EchahedEMP23AU-埃哈希德，拉希德非盟-埃切尼姆，姆纳乔AU-Mhalla，迈赫迪非盟-佩尔蒂埃，尼古拉斯TI-图的严格约束叠加演算。BT-软件科学和计算结构基础-第26届国际会议，FoSSaCS 2023，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2023，法国巴黎，2023年4月22日至27日，会议记录SP-135型EP-1552023年//DO-2007年10月10日/978-3-031-30829-1_7UR-（欧元）https://doi.org/10.1007/978-3-031-30829-1_7急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2305-08419非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯具有归纳定义谓词的分离逻辑中的TI-可追踪和不可解蕴涵问题。JO-CoRR公司VL-abs/2305.084192023年上半年//DO-10.48550/ARXIV.2305.08419UR-（欧元）https://doi.org/10.48550/arXiv.2305.08419急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2306-12535非盟-埃切尼姆，姆纳乔AU-Mhalla，迈赫迪TI-Isabelle/HOL中CHSH不等式和Tsirelson上界的形式化。JO-CoRR公司VL-abs/2306.125352023年上半年//DO-10.48550/ARXIV.2306.12535UR-（欧元）https://doi.org/10.48550/arXiv.2306.12535急诊室-TY-JOUR公司ID-DBLP:期刊/afp/Echenim22非盟-埃切尼姆，姆纳乔TI-两两交换厄米矩阵的同时对角化。JO-架构。正式证明VL-2022年2022年上半年//UR-（欧元）https://www.isa-afp.org/entries/Commuting_Hermitian.html急诊室-TY-JOUR公司ID-DBLP:期刊/ipl/EchenimIP22非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI—对于具有未建立归纳规则的符号堆分离逻辑形式，蕴涵是不确定的。JO-信息处理。莱特。VL-173SP-1061692022年上半年//DO-2016年10月10日/J.IPL.2021.106169UR-（欧元）https://doi.org/10.1016/j.ipl.2021.106169急诊室-TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-2201-13227非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-一种带有归纳定义和理论推理的分离逻辑证明程序。JO-CoRR公司VL-abs/2201.132272022年上半年//UR-（欧元）https://arxiv.org/abs/2201.13227急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2206-09389非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-分离逻辑与理论推理的两个结果。JO-CoRR公司VL-abs/2206.093892022年上半年//DO-10.48550/ARXIV.2206.09389UR-（欧元）https://doi.org/10.48550/arXiv.2206.09389急诊室-TY-JOUR公司ID-DBLP:期刊/afp/CousinEG21AU-表妹，玛丽非盟-埃切尼姆，姆纳乔非盟吉他，埃尔维TI-哈恩和乔丹分解定理。JO-架构。正式证明VL-2021年2021年上半年//UR-（欧元）https://www.isa-afp.org/entries/Hahn_Jordan_Decomposition.html急诊室-TY-JOUR公司ID-DBLP:期刊/afp/Echenim21非盟-埃切尼姆，姆纳乔TI-量子投影测量和CHSH不等式。JO-架构。正式证明VL-2021年2021年上半年//UR-（欧元）https://www.isa-afp.org/entries/Projective_Measurements.html急诊室-TY-CPAPER公司ID-DBLP:conf/cade/EchenimIP21非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-用归纳定义统一分离逻辑中的可判定蕴涵。BT-自动扣减-CADE 28-第28届自动扣减国际会议，虚拟事件，2021年7月12日至15日，会议记录SP-183第199页2021年上半年//DO-2007年10月10日/978-3-030-79876-5_11UR-（欧元）https://doi.org/10.1007/978-3-030-79876-5_11急诊室-TY-CPAPER公司ID-DBLP:conf/csl/EchenimIP21非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-带归纳定义的分离逻辑中的可判定蕴涵：超越建立。BT-第29届EACSL计算机科学逻辑年会，CSL 2021年1月25-28日，斯洛文尼亚卢布尔雅那（虚拟会议）。SP-20:1欧洲药典-20:182021年上半年//DO-10.4230/LIPICS。CSL.2021.20号文件UR-（欧元）https://doi.org/10.4230/LIPIcs.CSL.2021.20急诊室-TY-CPAPER公司ID-DBLP:conf/ppdp/EchahedEMP21AU-埃哈希德，拉希德非盟-埃切尼姆，姆纳乔AU-Mhalla，迈赫迪非盟-佩尔蒂埃，尼古拉斯TI-一种基于叠加的图解推理演算。BT-PPDP 2021:2021年9月6日至8日在爱沙尼亚塔林举行的第23届声明性编程原则与实践国际研讨会标准普尔-10:1EP-10:132021年上半年//DO-10.1145/347939405UR-（欧元）https://doi.org/10.1145/347939405急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2103-08535非盟-埃切尼姆，姆纳乔AU-Mhalla，迈赫迪TI-Isabelle/HOL中的量子投影测量和CHSH不等式。JO-CoRR公司VL-abs/2103.085352021年上半年//UR-（欧元）https://arxiv.org/abs/2103.08535急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2103-11709AU-埃哈希德，拉希德非盟-埃切尼姆，姆纳乔AU-Mhalla，迈赫迪非盟-佩尔蒂埃，尼古拉斯TI-一种基于叠加的量子图推理及其以外的微积分。JO-CoRR公司VL-abs/2103.117092021年上半年//UR-（欧元）https://arxiv.org/abs/2103.11709急诊室-TY-JOUR公司ID-DBLP:日志/jar/EchenimP20非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯基于归纳和饱和相结合的定理证明。JO-J.汽车。原因。VL-64IS-2SP-253型欧洲药典-2942020年上半年//DO-2007年10月10日/S10817-019-09519-XUR-（欧元）https://doi.org/10.1007/s10817-019-09519-x急诊室-TY-JOUR公司ID-DBLP:日志/jar/EchenimGP20非盟-埃切尼姆，姆纳乔非盟吉他，埃尔维非盟-佩尔蒂埃，尼古拉斯TI-将Isabelle/HOL中欧洲衍生品的Cox-Ross-Rubinstein定价正式化。JO-J.汽车。原因。VL-64IS-4标准SP-737型EP-7652020年上半年//DO-10.1007/S10817-019-09528-WUR-（欧元）https://doi.org/10.1007/s10817-019-09528-w网址急诊室-TY-JOUR公司ID-DBLP:日志/tocl/EchenimIP20非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-带有意外谓词的分离逻辑的Bernays-Schönfinkel-Ramsey类。JO-ACM事务处理。计算。日志。VL-21IS-3标准标准普尔-19:1EP-19:462020年上半年//DO-10.1145/3380809UR-（欧元）https://doi.org/10.1145/3380809急诊室-TY-CPAPER公司ID-DBLP:conf/lpar/EchenimIP20非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-归纳定义分离逻辑中的蕴涵检查是2-EXPTIME困难的。BT-LPAR 2020：第23届编程、人工智能和推理逻辑国际会议，西班牙阿利坎特，2020年5月22日至27日。SP-191欧洲药典-2112020年上半年//DO-10.29007/F5WHUR-（欧元）https://doi.org/10.29007/f5wh急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-2004-07578非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-归纳定义分离逻辑中的蕴涵检查是2-EXPTIME困难的。JO-CoRR公司VL-abs/2004.075782020年上半年//UR-（欧元）https://arxiv.org/abs/2004.07578急诊室-TY-非正式或其他出版物ID-DBLP：期刊/corr/abs-2007-00502非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-具有归纳定义的分离逻辑中的可判定蕴涵：超越已建立的系统。JO-CoRR公司VL-abs/2007.05022020年上半年//UR-（欧元）https://arxiv.org/abs/200700502急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-2012-14361非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-检查分离逻辑符号堆之间的蕴涵：超越已连接和已建立的系统。JO-CoRR公司VL-abs/2012.143612020年上半年//UR-（欧元）https://arxiv.org/abs/2012.14361急诊室-TY-CPAPER公司ID-DBLP:conf/fossacs/EchenimIP19非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯任意域上分离逻辑的Bernays-Schönfinkel-Ramsey类。BT-软件科学和计算结构基础-第22届国际会议，FOSSACS 2019，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2019年，捷克共和国布拉格，2019年4月6日至11日，会议记录SP-242型EP-2592019年上半年//DO-2007年10月10日/978-3-030-17127-8_14UR-（欧元）https://doi.org/10.1007/978-3-030-17127-8_14急诊室-TY-CPAPER公司ID-DBLP:conf/frocos/EchenimPS19非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯澳大利亚-亚尼斯塞拉米TI-Ilinva：使用外推生成循环不变量。英国电信（BT）——联合系统前沿——第十二届国际研讨会，2019年9月4日至6日，英国伦敦第77页欧洲药典-932019年上半年//DO-10.10007/978-3-030-29007-8_5UR-（欧元）https://doi.org/10.1007/978-3-030-29007-8_5急诊室-TY-CPAPER公司ID-DBLP:conf/tableaux/EchenimIP19非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-带一个选择器字段的Prenex分离逻辑。BT-使用分析表和相关方法的自动推理-第28届国际会议，2019年9月3日至5日，英国伦敦，Tableaux 2019，会议记录SP-409EP-4272019年上半年//DO-2007年10月10日/978-3-030-29026-9_23UR-（欧元）https://doi.org/10.1007/978-3-030-29026-9_23急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-1906-11033非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯澳大利亚-亚尼斯塞拉米TI-Ilinva：使用外推生成循环不变量。JO-CoRR公司VL-abs/1906.110332019年上半年//UR-（欧元）http://arxiv.org/abs/1906.11033急诊室-TY-JOUR公司ID-DBLP：期刊/法新社/埃切尼18非盟-埃切尼姆，姆纳乔TI-离散财务模型中的定价。JO-架构。正式证明2018年VL2018年上半年//UR-（欧元）https://www.isa-afp.org/entries/DiscretePricing.html急诊室-TY-CPAPER公司ID-DBLP:conf/cade/EchenimPS18非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯澳大利亚-亚尼斯塞拉米TI-蕴涵生成模理论的一般框架。BT-自动推理-第九届国际联合会议，2018年IJCAR，作为联邦逻辑会议的一部分，2018年7月14日至17日在英国牛津举行，会议记录第279页欧洲药典-2942018年上半年//DO-2007年10月10日/978-3-319-94205-6_19UR-（欧元）https://doi.org/10.1007/978-3-319-94205-6_19急诊室-TY-CPAPER公司ID-DBLP:conf/ijcai/EchenimPT18非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯AU-索菲·托雷特TI-等式逻辑中的素蕴涵生成（扩展抽象）。英国电信——第二十七届国际人工智能联合会议记录，2018年7月13日至19日，瑞典斯德哥尔摩。SP-5588型EP-55922018年上半年//DO-10.24963/IJCAI.2018/790UR-（欧元）https://doi.org/10.24963/ijcai.2018/790急诊室-TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-1802-00195非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯关于Bernays-Schönfinkel-Ramsey分离逻辑的表示完备性。JO-CoRR公司VL-abs/1802.001952018年上半年//UR-（欧元）http://arxiv.org/abs/1802.00195急诊室-TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-1804-03556非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯带一个选择器的Prenex分离逻辑的复杂性。JO-CoRR公司VL-abs/1804.035562018年上半年//UR-（欧元）http://arxiv.org/abs/1804.03556急诊室-TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-1807-04557非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯澳大利亚-亚尼斯塞拉米TI-蕴涵生成模理论的一般框架。JO-CoRR公司VL-abs/1807.045572018年上半年//UR-（欧元）http://arxiv.org/abs/1807.04557急诊室-TY-非正式或其他出版物ID-DBLP：轴颈/corr/abs-1807-09873非盟-埃切尼姆，姆纳乔非盟吉他，埃尔维非盟-佩尔蒂埃，尼古拉斯TI-在Isabelle/HOL中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价。JO-CoRR公司VL-abs/1807.098732018年上半年//UR-（欧元）http://arxiv.org/abs/1807.09873急诊室-TY-JOUR公司ID-DBLP:期刊/jair/EchenimPT17非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯AU-图雷特，索菲等式逻辑中的素蕴涵生成。JO-J.Artif.（JO-J·阿蒂夫）。智力。物件。VL-60SP-827EP-8802017年上半年//DO-10.1613/JAIR.5481UR-（欧元）https://doi.org/10.1613/jair.5481急诊室-TY-CPAPER公司ID-DBLP:conf/cade/EchenimP17非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-金融中的二项式定价模型：Isabelle中的形式化。BT-自动扣除-CADE 26-第26届自动扣除国际会议，瑞典哥德堡，2017年8月6日至11日，会议记录SP-546欧洲药典-5622017年上半年//DO-2007年10月10日/978-3-319-63046-5_33UR-（欧元）https://doi.org/10.1007/978-3-319-63046-5_33急诊室-TY-JOUR公司ID-DBLP:journals/jar/EchenimP16非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-一种外推推理的叠加演算。JO-J.汽车。原因。VL-57IS-2SP-97第134页2016年上半年//DO-2007年10月10日/S10817-015-9344-2UR-（欧元）https://doi.org/10.1007/s10817-015-9344-2急诊室-TY-CPAPER公司ID-DBLP:conf/cade/EchenimPT15非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯AU-索菲·托雷特无量词等式逻辑与素蕴涵生成。BT-自动扣除-CADE-25-第25届自动扣除国际会议，德国柏林，2015年8月1日至7日，会议记录SP-311型EP-3252015年上半年//DO-2007年10月10日/978-3-319-21401-6_21UR-（欧元）https://doi.org/10.1007/978-3-319-21401-6_21急诊室-TY-CPAPER公司ID-DBLP:conf/cade/TourretEP14AU-索菲·托雷特非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-一个底平面等式子句的演绎完全约束迭加演算。BT-第四届自动推理实践方面研讨会，IJCAR的PAAR2014年，奥地利维也纳SP-94型EP-1042014年上半年//DO-10.29007/3CP8UR-（欧元）https://doi.org/10.29007/3cp8急诊室-TY-CPAPER公司ID-DBLP:conf/cade/EchenimPT14非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯AU-索菲·托雷特TI-在等式逻辑中生成素蕴涵的重写策略。BT-自动推理-第七届国际联合会议，IJCAR 2014，作为维也纳逻辑夏季的一部分，VSL 2014，奥地利维也纳，2014年7月19-22日。诉讼SP-137型EP-1512014年上半年//DO-2007年10月10日/978-3-319-08587-6_10UR-（欧元）https://doi.org/10.1007/978-3-319-08587-6_10急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/EchenimP14非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-一种外推推理的叠加演算。JO-CoRR公司VL-绝对值/1406.03032014年上半年//UR-（欧元）http://arxiv.org/abs/1406.0303急诊室-TY-JOUR公司ID-DBLP:期刊/fuin/AravantinosEP13澳大利亚-文森特·阿拉万提诺斯非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-一阶模式的分解演算。JO-芬丹。信息学VL-125IS-2SP-101型EP-1332013年上半年//DO-10.3233/FI-2013-855UR-（欧元）https://doi.org/10.3233/FI-2013-855急诊室-TY-JOUR公司ID-DBLP:日志/tocl/EchenimP13非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-嵌套理论的实例化方案。JO-ACM事务处理。计算。日志。VL-14IS-2标准普尔-11:1EP-11:342013年上半年//DO-10.1145/2480759.2480763UR-（欧元）https://doi.org/10.1145/2480759.2480763急诊室-TY-CPAPER公司ID-DBLP:conf/ijcai/EchenimPT13非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯AU-索菲·托雷特TI——等式逻辑中的一种外推推理方法。BT-IJCAI 2013，第23届国际人工智能联合会议论文集，中国北京，2013年8月3-9日SP-531型EP-5372013年上半年//UR-（欧元）http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6624UR-（欧元）http://ijcai.org/Abstract/13/086急诊室-TY-JOUR公司ID-DBLP:日志/jar/EchenimP12非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-可满足模理论的实例化方案。JO-J.汽车。原因。VL-48IS-3标准SP-293型EP-3622012年//DO-2007年10月10日/S10817-010-9200-3UR-（欧元）https://doi.org/10.1007/s10817-010-9200-3急诊室-TY-CPAPER公司ID-DBLP:conf/aisc/EchenimP12非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-福尔穆尔模式推理。BT-智能计算机数学-第11届国际会议，AISC 2012，第19次研讨会，Calculemus 2012，第5次国际研讨会，DML 2012，第11次国际会议，MKM 2012，系统和项目，作为CICM 2012的一部分，于2012年7月8日至13日在德国不来梅举行。诉讼SP-310型EP-3252012年上半年//执行-10.1007/978-3-642-31374-5_21UR-（欧元）https://doi.org/10.1007/978-3642-31374-5_21急诊室-TY-CPAPER公司ID-DBLP:conf/cade/EchenimP12非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-生成基本解释的微积分。英国电信-自动推理-第六届国际联合会议，2012年6月26日至29日，英国曼彻斯特IJCAR 2012。诉讼SP-194欧洲药典-2092012年上半年//DO-2007年10月10日/978-3-642-31365-3_17UR-（欧元）https://doi.org/10.1007/978-3-642-31365-3_17急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-1201-5954非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-生成地面解释的微积分（技术报告）JO-CoRR公司VL-abs/1201.59542012年上半年//UR-（欧元）http://arxiv.org/abs/201.5954急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-1204-2990非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-公式模式推理JO-CoRR公司VL-abs/1204.29902012年上半年//UR-（欧元）网址：http://arxiv.org/abs/1204.2990急诊室-TY-JOUR公司ID-DBLP:期刊/ipl/EchenimP11非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-模块化实例化方案。JO-信息处理。莱特。VL-111型IS-20标准SP-989第993页2011年上半年//DO-2016年10月10日/J.IPL.2011.07.003UR-（欧元）https://doi.org/10.1016/j.ipl.2011.07.003急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-1107-4553非盟巡回赛，蒂埃里·博伊·德拉非盟-埃切尼姆，姆纳乔TI-求解初等阿贝尔p-对称群中的线性约束JO-CoRR公司VL-绝对值/1107.45532011年上半年//UR-（欧元）http://arxiv.org/abs/107.4553急诊室-TY-非正式或其他出版物ID-DBLP:日志/corr/abs-1107-4937非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-嵌套理论的实例化方案JO-CoRR公司VL-abs/1107.49372011年上半年//UR-（欧元）http://arxiv.org/abs/107.4937急诊室-TY-JOUR公司ID-DBLP:期刊/jsc/BonacinaE10澳大利亚-博纳西纳，玛丽亚·保拉非盟-埃切尼姆，姆纳乔TI-通过分解进行理论决策。JO-J.符号。计算。阀门-45IS-2SP-229EP-2602010年//DO-2016年10月10日/J.JSC.2008.10.008UR-（欧元）https://doi.org/10.1016/j.jsc.2008.10.08急诊室-TY-CPAPER公司ID-DBLP:conf/aisc/EchenimP10非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-SMT问题模整数的实例化。BT-智能计算机数学，第十届国际会议，AISC 2010，第十七届研讨会，Calculemus 2010，第九届国际会议MKM 2010，法国巴黎，2010年7月5日至10日。诉讼SP-49型第63页2010年//DO-2007年10月10日/978-3-642-14128-7_6UR-（欧元）https://doi.org/10.1007/978-3-642-14128-7_6急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/abs-1006-2921非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-模整数SMT问题的实例化JO-CoRR公司VL-abs/1006.29212010年//UR-（欧元）http://arxiv.org/abs/1006.2921急诊室-TY-JOUR公司ID-DBLP:期刊/logcom/BonacinaE08澳大利亚-博纳西纳，玛丽亚·保拉非盟-埃切尼姆，姆纳乔TI-关于变量不活跃性和多项式τ-可满足性程序。JO-J.日志。计算。VL-18IS-1标准第77页欧洲药典-962008年上半年//DO-10.1093/LOGCOM/EXM055UR-（欧元）https://doi.org/10.1093/logcom/exm055UR-（欧元）https://www.wikidata.org/entity/Q118123663网址急诊室-TY-CPAPER公司ID-DBLP:conf/cade/TourEN08非盟巡回赛，蒂埃里·博伊·德拉非盟-埃切尼姆，姆纳乔非盟-巴利亚特·纳伦德兰TI-统一和匹配模叶置换方程表示。BT-自动推理，第四届国际联合会议，2008年8月12日至15日，澳大利亚悉尼，IJCAR 2008，会议记录第332页EP-3472008年上半年//DO-2007年10月10日/978-3-540-71070-7_30UR-（欧元）https://doi.org/10.1007/978-3-540-71070-7_30急诊室-TY-JOUR公司ID-DBLP:期刊/iandc/TourE07非盟巡回赛，蒂埃里·博伊·德拉非盟-埃切尼姆，姆纳乔置换重写和统一。JO-信息计算。VL-205IS-4标准SP-624型EP-6502007年上半年//DO-2016年10月10日/J.IC.2006.11.001UR-（欧元）https://doi.org/10.1016/j.ic.2006.11.001急诊室-TY-CPAPER公司ID-DBLP:conf/cade/BonacinaE07澳大利亚-博纳西纳，玛丽亚·保拉非盟-埃切尼姆，姆纳乔TI-T-分解决策。BT-自动扣除-CADE-21，第21届自动扣除国际会议，2007年7月17日至20日，德国不来梅，会议记录SP-199EP-2142007年上半年//DO-2007年10月10日/978-3-540-73595-3_14UR-（欧元）https://doi.org/10.1007/978-3-540-73595-3_14急诊室-TY-CPAPER公司ID-DBLP:conf/rta/TourE07非盟巡回赛，蒂埃里·博伊·德拉非盟-埃切尼姆，姆纳乔TI-确定统一稳定的表示。BT-术语改写与应用，第18届国际会议，RTA 2007，法国巴黎，2007年6月26-28日，会议记录SP-63型EP-772007年上半年//DO-2007年10月10日/978-3-540-73449-9_7UR-（欧元）https://doi.org/10.1007/978-3-540-73449-9_7急诊室-TY-CPAPER公司ID-DBLP:期刊/entcs/BonacinaE07a澳大利亚-博纳西纳，玛丽亚·保拉非盟-埃切尼姆，姆纳乔TI-基于重写的决策程序。英国电信-第六届自动扣除策略国际研讨会论文集，IJCAR战略2006年，2006年8月16日，美国华盛顿州西雅图，部分PLoC 2006SP-27第45页2006年上半年//DO-2016年10月10日/J.ENTCS.2006.11.042UR-（欧元）https://doi.org/10.1016/j.entcs.2006.11.042急诊室-TY-CPAPER公司ID-DBLP:期刊/entcs/BonacinaE07澳大利亚-博纳西纳，玛丽亚·保拉非盟-埃切尼姆，姆纳乔TI-递归数据结构的基于重写的可满足性过程。BT-第四届自动推理决策程序语用研讨会（PDPAR 2006）和第一届概率自动机和逻辑国际研讨会（PaUL 2006）的联合会议记录，FloC 2006部分，美国华盛顿州西雅图，2006年8月SP-55型EP-702006年上半年//DO-2016年10月10日/J.ENTCS.2006.11.039UR-（欧元）https://doi.org/10.1016/j.entcs.2006.11.039急诊室-TY-这些ID-DBLP:phd/hal/Echenim05非盟-埃切尼姆，姆纳乔TI-Déduction et Unification dans les Théories置换。（排列理论中的演绎与统一）。2005年上半年//UR-（欧元）https://tel.archives-ouvertes.fr/tel-00011236急诊室-TY-CPAPER公司ID-DBLP:conf/rta/TourE05非盟巡回赛，蒂埃里·博伊·德拉非盟-埃切尼姆，姆纳乔一类置换理论中的TI统一。BT-术语重写与应用，第16届国际会议，RTA 2005，日本奈良，2005年4月19-21日，会议记录SP-105型EP-1192005年上半年//DO-2007年10月10日/978-3-540-32033-3_9UR-（欧元）https://doi.org/10.1007/978-3-540-32033-3_9急诊室-TY-JOUR公司ID-DBLP:日志/jar/TourE04非盟巡回赛，蒂埃里·博伊·德拉非盟-埃切尼姆，姆纳乔关于演绎模叶置换方程的复杂性。JO-J.汽车。原因。VL-33IS-3-4SP-271型EP-3172004年上半年//文件编号：10.1007/S10817-004-6244-2UR-（欧元）https://doi.org/10.1007/s10817-004-6244-2急诊室-TY-CPAPER公司ID-DBLP:conf/cade/TourE04非盟巡回赛，蒂埃里·博伊·德拉非盟-埃切尼姆，姆纳乔TI-重叠叶片排列方程。BT-自动推理-第二届国际联合会议，IJCAR 2004，爱尔兰科克，2004年7月4-8日，会议记录SP-430型EP-4442004年上半年//DO-2007年10月7日/978-3-540-25984-8_32UR-（欧元）https://doi.org/10.1007/978-3-540-25984-8_32急诊室-TY-CPAPER公司ID-DBLP:conf/lpar/TourE03巡回演唱会，蒂埃里·博伊·德拉非盟-埃切尼姆，姆纳乔TI-NP-分层条件下演绎问题的完备性结果。BT：编程、人工智能和推理逻辑，第十届国际会议，LPAR 2003，哈萨克斯坦阿拉木图，2003年9月22日至26日，会议记录SP-317型欧洲药典-3312003年上半年//DO-2007年10月10日/978-3-540-39813-4_23UR-（欧元）https://doi.org/10.1007/978-3-540-39813-4_23急诊室-TY-CPAPER公司ID-DBLP:期刊/entcs/TourE03非盟巡回赛，蒂埃里·博伊·德拉非盟-埃切尼姆，姆纳乔TI-关于叶置换理论和发生置换群。BT-第四届一阶定理证明国际研讨会，FTP 2003，与RDP 2003相关，重写、演绎和编程联合会议，西班牙巴伦西亚，2003年6月12-14日SP-61型EP-752003年上半年//DO-2016年10月10日/S1571-0661（04）80653-4UR-（欧元）https://doi.org/10.1016/S1571-0661(04)80653-4急诊室-