弗洛里安·弗洛恩;吉尔根·吉斯尔;杰拉·亨塞尔;科尼利厄斯·阿舍曼;托马斯·斯特罗德 术语重写的运行时复杂性下限。 (英语) Zbl 1409.68254号 J.汽车。推理 59,第1期,121-163(2017).MSC公司:68吨15 2017年第68季度 65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Frohn}等人,J.Autom。推理59,No.1,121--163(2017;Zbl 1409.68254) 全文: 内政部
斯特芬·乔斯特;佩德罗·瓦康塞洛斯;马里奥弗洛里多;凯文·哈蒙德 惰性函数语言的基于类型的成本分析。 (英语) Zbl 1409.68067号 J.汽车。推理 59,第1号,87-120(2017).MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Jost}等人,J.Autom。推理59,No.1,87-120(2017;Zbl 1409.68067) 全文: 内政部 链接
艾尔维拉·阿尔伯特;安东尼奥·弗洛雷斯·蒙托亚;萨米尔·根奈姆;恩里克·马丁·马汀 具有并发交织的环路的可靠保证端接和成本分析。 (英语) Zbl 1409.68071号 J.汽车。推理 59,第1号,47-85(2017).MSC公司:68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,J.Autom。推理59,No.1,47--85(2017;Zbl 1409.68071) 全文: 内政部
莫里茨·辛恩;弗洛里安·祖勒格;赫尔穆特·维思 使用差异约束的命令式程序的复杂性和资源限制分析。 (英语) Zbl 1409.68076号 J.汽车。推理 59,第1期,第3-45页(2017年).MSC公司:68号30 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Sinn}等人,J.Autom。推理59,No.1,3--45(2017;Zbl 1409.68076) 全文: 内政部
吉尔根·吉斯尔(编辑);简·霍夫曼(编辑) 前言:自动资源边界分析专题。 (英语) Zbl 1368.00054号 J.汽车。推理 59,第1期,第1-2期(2017年).MSC公司:00B15号机组 68-06 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}(编辑)和textit{J.Hoffmann}(主编),J.Autom。推理59,No.1,1--2(2017;Zbl 1368.00054) 全文: 内政部