×

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

关于具有类依赖约束的工作流可满足性问题。 (英语) Zbl 1378.68069号

Husfeldt,Thore(编辑)等人,第十届参数化和精确计算国际研讨会,IPEC 2015,希腊帕特拉斯,2015年9月16日至18日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-92-7)。LIPIcs–莱布尼茨国际信息学会议录43,66-77(2015)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段

软件