×

找到3个文档(结果1-3)

将数据结构与桥接理论相结合的重写方法。 (英语) Zbl 1471.68107号

Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9322, 275-290 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

一种礼貌的非分离组合方法:重温具有桥接功能的理论。 (英语) Zbl 1465.68303号

Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 419-433 (2015).
MSC公司:68V20型 68第05页
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

筛选结果依据…

文档类型

出版年份

主字段