盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型的礼貌组合。 (英语) Zbl 07606342号 J.汽车。推理 66,编号3,331-355(2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理66,No.3,331--355(2022;Zbl 07606342) 全文: 内政部 arXiv公司
帕斯卡·方丹;汉斯·约尔·舒尔 SMT中通过统一简化量词。 (英语) Zbl 07497925号 Konev,Boris(编辑)等人,《组合系统的前沿》。第13届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12941, 232-249 (2021).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{P.Fontaine}和\textit{H.-J.Schurr},莱克特。注释计算。科学。12941、232--249(2021;Zbl 07497925) 全文: 内政部 链接
盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型理论的礼貌。 (英语) Zbl 07614516号 Peltier,Nicolas(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12166, 238-255 (2020).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,Lect。注释计算。科学。12166,238--255(2020;Zbl 07614516) 全文: 内政部
Barbosa,哈尼尔;贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;帕斯卡·方丹 用于公式处理的可扩展细粒度证明。 (英语) Zbl 1468.68278号 J.汽车。推理 64,第3期,485-510(2020年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Barbosa}等人,J.Autom。推理64,No.3,485--510(2020;Zbl 1468.68278) 全文: 内政部 哈尔
Paula Chocron;帕斯卡·方丹;克里斯托夫·林盖森 具有桥接功能的理论的礼貌和组合方法。 (英语) Zbl 1468.68143号 J.汽车。推理 64,第1期,97-134(2020).MSC公司:68兰特 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Chocron}等人,J.Autom。推理64,No.1,97--134(2020;Zbl 1468.68143) 全文: 内政部 哈尔
Barbosa,哈尼尔;帕斯卡·方丹;安德鲁·雷诺兹 具有自由变量的同余闭包。 (英语) Zbl 1452.68113号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。102062114-230(2017年)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Barbosa}等人,Lect。注释计算。科学。10206、214--230(2017;Zbl 1452.68113) 全文: 内政部 哈尔
Paula Chocron;帕斯卡·方丹;克里斯托夫·林盖森 将数据结构与桥接理论相结合的重写方法。 (英语) Zbl 1471.68107号 Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9322, 275-290 (2015).MSC公司:2012年第68季度 68第05页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Chocron}等人,Lect。注释计算。科学。9322275--290(2015;Zbl 1471.68107) 全文: 内政部 哈尔
Paula Chocron;帕斯卡·方丹;克里斯托夫·林盖森 一种礼貌的非分离组合方法:重温具有桥接功能的理论。 (英语) Zbl 1465.68303号 Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9195, 419-433 (2015).MSC公司:68V20型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Chocron}等人,Lect。注释计算。科学。9195、419--433(2015年;Zbl 1465.68303) 全文: 内政部 哈尔
阿雷塞斯,卡洛斯;帕斯卡·方丹;斯蒂芬·默兹 通过SMT求解的模态可满足性。 (英语) 兹比尔1453.03015 De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·维尔辛(Martin Wirsing)在2015年从编程和软件工程主席退休之际发表的论文,德国慕尼黑。论文。查姆:施普林格。莱克特。注释计算。科学。8950,30-45(2015年)。MSC公司:03B45号 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,Lect。注释计算。科学。8950,30--45(2015;Zbl 1453.03015) 全文: 内政部 哈尔
de Oliveira,Diego Caminha B。;戴维·戴哈贝;帕斯卡·方丹 通过(模型-)等式传播组合决策过程。 (英语) Zbl 1243.68150号 科学。计算。程序。 77,第4期,518-532(2012).MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.C.B.de Oliveira}等人,科学。计算。程序。77,No.4,518--532(2012;Zbl 1243.68150) 全文: 内政部
阿雷塞斯,卡洛斯;帕斯卡·方丹 结合理论:阿克曼和守卫碎片。 (英语) Zbl 1348.03027号 Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,40-54(2011)。MSC公司:03B62号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}和\textit{P.Fontaine},莱克特。注释计算。科学。6989,40-54(2011;Zbl 1348.03027) 全文: 内政部
戴维·戴哈贝;帕斯卡·方丹;斯蒂芬·默兹;布鲁诺沃尔岑洛格尔古 利用SMT问题中的对称性。 (英语) Zbl 1341.68187号 Björner,Nikolaj(编辑)等人,《自动扣除——CADE-23》。第23届自动扣款国际会议,2011年7月31日至8月5日,波兰弗罗茨瓦夫。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22437-9/pbk;978-3-442-22438-6/电子书)。计算机科学课程讲稿6803。人工智能课堂讲稿,222-236(2011)。MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Déharbe}等人,Lect。注释计算。科学。6803、222--236(2011;Zbl 1341.68187) 全文: 内政部
de Oliveira,Diego Caminha B。;戴维·戴哈贝;帕斯卡·方丹 通过(模型-)等式传播组合决策过程。 (英语) 兹比尔1347.68309 Patricia D.L.Machado(编辑),第十一届巴西正式方法研讨会论文集(SBMF 2008)2008年8月26日至29日,巴西萨尔瓦多。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记240,113-128(2009)。MSC公司:第68页第15页 60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.C.B.de Oliveira}等人,《电子》。理论注释。计算。科学。240、113--128(2009年;Zbl 1347.68309) 全文: 内政部
帕斯卡·方丹 一阶逻辑可判定片段的理论组合。 (英语) Zbl 1193.03020号 Ghilardi,Silvio(编辑)等人,《组合系统的前沿》。第七届国际研讨会,FroCoS 2009,意大利特伦托,2009年9月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04221-8/pbk)。计算机科学课堂讲稿5749。人工智能课堂讲稿,263-278(2009)。MSC公司:03秒20 03B25号 03B35型 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{P.Fontaine},莱克特。注释计算。科学。5749、263--278(2009年;Zbl 1193.03020) 全文: 内政部