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) 全文: 内政部 哈尔
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) 全文: 内政部 哈尔