德高,施蒂恩;德波尔(Frank S。;理查德·布贝尔;雷纳·哈内尔;朱里安·罗特;多米尼克·施泰因霍费尔 验证OpenJDK的泛型集合排序方法。 (英语) Zbl 1468.68125号 J.汽车。推理 62,第1期,93-126(2019).MSC公司:第68季度第60季度 68页第10页 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.de Gouw}等人,J.Autom。推理62,第1号,93——126(2019;兹bl 1468.68125) 全文: 内政部
吉尔根·吉斯尔(编辑);雷纳·哈内尔(编辑) 特刊:根据2010年7月在英国爱丁堡举行的第五届国际自动推理联合会议(IJCAR)上的发言选出的论文。 (英语) Zbl 1250.03007号 J.汽车。推理47,第4期,337-501(2011)。 MSC公司:03-06 68-06 03B35型 03B70号 68吨15 00B25型 PDF格式BibTeX公司 XML格式
伯恩哈德·贝克特(编辑);雷纳·哈内尔(编辑) 特刊:测试和证明。根据2008年4月在意大利普拉托举行的第二届国际会议上的发言选出的论文。 (英语) Zbl 1215.68006号 J.汽车。推理45,第4期,327-473(2010年)。 MSC公司:68-06 68米15 第68季度第60季度 00B25型 PDF格式BibTeX公司 XML格式
阿纳瓦伊·拉梅什;伯恩哈德·贝克特;雷纳·哈内尔;尼尔·V·莫里。 使用反链接进行快速包容检查。 (英语) Zbl 0870.68135号 J.汽车。推理 18,第1号,47-83(1997).MSC公司:68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ramesh}等人,J.Autom。推理18,No.1,47--83(1997;Zbl 0870.68135) 全文: 内政部
雷纳·哈内尔;彼得·施密特(Peter H.Schmitt)。 自由变量语义表中的自由化\(\delta\)规则。 (英语) Zbl 0826.03005号 J.汽车。推理 13,No.2,211-221(1994). 审核人:A.Biela(卡托维兹) MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Hähnle}和textit{P.H.Schmitt},J.Autom。推理13,第2211-221号(1994年;Zbl 0826.03005) 全文: 内政部