丽塔·勒根 函数和逻辑编程语言的集成。语义和实现。(集成功能和逻辑程序prachen.Semantik和Implementierung。) (德语) Zbl 0886.68029号 慕尼黑:奥尔登堡,第276页(1995年)。 审核人:H.Alt(柏林) MSC公司:68N17号 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Loogen},集成功能和逻辑程序prachen。语义和实现。慕尼黑:奥尔登堡(1995;Zbl 0886.68029)
赫伯特·库欣;丽塔·勒根;莫雷诺·纳瓦罗,胡安·何塞;马里奥·罗德里格斯-阿塔莱霍 函数逻辑语言的基于图形的实现。 (英语) Zbl 0765.68021号 员工持股计划'90,Proc。欧洲第三交响曲。,哥本哈根/丹麦,1990年,Lect。注释计算。科学。432, 271-290 (1990).MSC公司:68N20型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Kuchen}等人,Lect。注释计算。科学。432271-290(1990年;Zbl 0765.68021)