洛利 swMATH ID: 40831 软件作者： 乔什·霍达斯；戴尔·米勒 描述： Lolli是一种基于线性逻辑片段的逻辑编程语言。因此，它允许程序员在证明搜索期间对某些程序子句（或资源）的使用模式进行很大程度的控制。 主页： http://www.lix.polytechnique.fr/~戴尔/洛利/ 相关软件： Twelf公司;精灵;阿贝拉;毫升;混合的;伊莎贝尔/HOL;Coq公司;贝德维尔;皮克特;佩斯卡;特尤斯;镊子;哈斯克尔;白鲸;ILLTP公司;校准仪;林塔普;分类日志3;名义伊莎贝尔;流行标志 引用于： 52文件 全部的 前5名71位作者引用 6 戴尔·艾伦·米勒 6 安德烈·斯克洛夫 4 伊利亚诺·塞维萨托 4 弗兰克·芬宁 三 帕特里克·D·林肯。 三 Vivek Nigam先生 三 卡洛斯·奥拉特 三 伊莱恩·皮门特尔 2 Jean-Marc安德烈奥利 2 艾米·费尔蒂（Amy P.Felty）。 2 迪迪埃·加米歇 2 乔舒亚·霍达斯。 2 Kanovich、Max Iosifovich 2 斯捷潘·勒沃维奇，库兹涅佐夫 2 Chuck Liang先生 2 詹姆斯·利普顿（James B.Lipton）。 2 阿尔贝托·莫米利亚诺 2 大卫·J·派姆。 2 保罗·吕特 2 田村直之 1 桑德拉·阿尔维斯 1 吉安卢卡·阿马托 1 穆苏诺里·班巴拉 1 乔杜里，考斯图夫 1 海宁·克里斯蒂安森 1 蝉蜕、阿加塔 1 斯特凡妮娅·科斯坦蒂尼 1 维罗妮卡·达尔 1 瓦莱里亚·德·佩瓦 1 乔治·德尔扎诺 1 卢卡斯·狄克逊 1 弗朗索瓦·法赫斯 1 玛丽贝尔·费尔南德斯 1 斯泰西·芬克尔斯坦。 1 马里奥弗洛里多 1 安德烈亚·福米萨诺 1 彼得·弗雷德。 1 迈克尔·加巴伊（Michael J.Gabbay）。 1 安德鲁·加塞克 1 詹姆斯·哈兰德（James A.Harland）。 1 诺里希罗·卡米德 1 康，Kyong-Sun 1 直纪小林 1 克里斯托夫·克里茨 1 李东三 1 比约恩·莱尔曼 1 伊恩·麦基 1 穆罕默德·尤斯里·马哈茂德 1 罗伯特·梅利 1 海科·曼特尔 1 马可·曼托瓦尼 1 Jean-Yves玛丽恩 1 毛里齐奥·马特利 1 罗伯特·W·麦克格雷。 1 格里戈里·埃弗罗伊莫维奇造币厂 1 迈克尔·穆尔特加特 1 戈帕兰·纳达图尔 1 多米尼克·A·乌节。 1 延斯·奥滕 1 盖·佩里尔 1 普莱斯，格雷格 1 吉赛尔·赖斯 1 施米特，斯蒂芬 1 Natarajan Shankar 1 西蒙斯（Robert jun Simmons）。 1 阿兰·斯梅尔 1 西尔万·索利曼 1 卢茨斯特拉汉堡 1 塔内尔·塔米特 1 Tracy Tsang 1 蒂莫西·温克勒 全部的 前5名10篇连载文章中引用 12 理论计算机科学 5 信息与计算 5 自动推理杂志 5 逻辑、语言与信息杂志 三 纯逻辑与应用逻辑年鉴 2 MSCS公司。计算机科学中的数学结构 2 高阶和符号计算 1 信息处理信件 1 应用非经典逻辑杂志 1 逻辑程序设计理论与实践 在5个字段中引用 40 数理逻辑与基础（03-XX） 39 计算机科学（68至XX） 1 阶、格、有序代数结构（06-XX） 1 量子理论（81-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文