斯文·阿佩尔(编辑);Lengauer,基督徒(编辑);朱莉娅·劳尔(编辑) 部分特刊:面向特性的软件开发(FOSD 2009)。2009年10月6日,美国科罗拉多州丹佛市,根据研讨会上的陈述选择论文。 (英语) 兹伯利1246.68019 科学。计算。程序。77,第3期,129-187(2012)。 MSC公司:68-06 00B25型 第68页第19页 68号30 PDF格式BibTeX公司 XML格式
斯文·阿佩尔;Lengauer,基督徒;伯恩哈德·莫勒;Kästner,基督徒 基于特征的程序自动综合的代数基础。 (英语) Zbl 1209.68129号 科学。计算。程序。 75,第11期,1022-1047(2010).MSC公司:68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{S.Apel}等人,科学。计算。程序。75,第11号,1022--1047(2010;Zbl 1209.68129) 全文: 内政部 链接
Lengauer,基督徒(编辑);瓦利德·塔哈(编辑) 特刊:2004年第一期MetaOCaml研讨会。2004年10月25日,加拿大温哥华,根据研讨会上的发言选出论文。 (英语) 兹比尔1102.68316 科学。计算。程序。62,第1期,94页。(2006). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
约翰·杰林(编辑);Lengauer,基督徒(编辑);希兰,玛丽(编辑) 程序构造数学专题。第四届国际会议,瑞典哥德堡附近的马斯特兰岛,1998年6月。 (英语) Zbl 0951.00052号 科学。计算。程序。 37,第1-3期,314页(2000年).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.Jeuring}(编辑)等,科学。计算。程序。37,编号1--3,314 ~ p.(2000;Zbl 0951.00052)
最好的,艾克;Lengauer,基督徒 语义独立性。 (英语) Zbl 0697.68021号 科学。计算。程序。 13,第1期,23-50(1989). 审核人:G.乔巴努 MSC公司:第68季度第60季度 68N25号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{C.Lengauer},科学。计算。程序。13,编号1,23--50(1989;Zbl 0697.68021) 全文: 内政部
Lengauer,基督徒 并发编程方法:形式主义。 (英语) Zbl 0491.68006号 科学。计算。程序。 2, 19-52 (1982).MSC公司:68号01 68N25号 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{C.Lengauer},科学。计算。程序。219--52(1982;Zbl 0491.68006) 全文: 内政部
Lengauer,基督徒;埃里克·C·R·海纳。 并发编程方法:一种非正式的演示。 (英语) Zbl 0491.68005号 科学。计算。程序。 2,1-18(1982年).MSC公司:68号01 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{C.Lengauer}和\textit{E.C.R.Hehner},科学。计算。程序。2、1-18(1982年;Zbl 0491.68005) 全文: 内政部