伦纳特·贝克曼
人员信息
SPARQL查询
优化列表
1980 – 1989
1986 【c2】 伦纳特·贝克曼 :
面向并发逻辑编程语言的形式语义。 ICLP公司 1986 : 335-349 【c1】 伦纳特·贝克曼 , 鲁恩·古斯塔夫森 , 安妮卡·沃恩 :
逻辑程序并行执行的代数模型。 低收入国家 1986 : 50-57
1970 – 1979
1976 [j1] 伦纳特·贝克曼 , 安德斯·哈拉尔森 , 奥斯卡森 , 埃里克·桑德沃尔 :
部分求值器及其作为编程工具的使用。 Artif公司。 智力。 7 ( 4 ) : 319-357 ( 1976 )