编辑配置文件(在新选项卡中打开) 詹姆斯·利普顿(James B.Lipton)。 合著者距离 作者ID: 立顿·詹姆士-b 发布日期: 詹姆斯·利普顿;詹姆斯·利普顿(James B.Lipton)。 已编制索引的文档: 21出版物自1992年起 合著者: 13合著者具有18联合出版物 175位合作作者 全部的 前5名合著者 2 单作者的 4 埃米利奥·杰苏斯·加列戈·阿里亚斯 三 奥利维尔·赫尔曼特 三 朱利奥·马里诺 2 吉安卢卡·阿马托 2 斯泰西·芬克尔斯坦。 2 彼得·弗雷德。 2 罗伯特·W·麦克格雷。 2 苏珊娜·尼娃 2 迈克尔·奥唐纳。 1 丹尼尔·卡贝扎 1 贾瓦哈尔·奇里马尔 1 玛丽·德马尔科 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 巴勃罗·诺盖拉 系列 三 理论计算机科学 2 逻辑与计算杂志 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 IGPL逻辑期刊 领域 14 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用49中的次28文件 引用人▼ 年份▼ 关于声明性编程语言的代数结构。 Zbl 1187.68121号 吉安卢卡·阿马托;詹姆斯·利普顿;罗伯特·麦格拉尔 8 2009 直觉主义类型理论的完备性和删减。 兹比尔1095.03056 玛丽·德马尔科;詹姆斯·利普顿 7 2005 构造性Kripke语义和可实现性。 Zbl 0757.03018号 詹姆斯·利普顿 4 1992 一种新的声明式编程框架。 Zbl 1028.68023号 斯泰西·芬克尔斯坦。;彼得·弗雷德;詹姆斯·利普顿 4 2004 使用无变量关系代数的一阶统一。 Zbl 1253.68194号 埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿;朱利奥·马里诺;巴勃罗·诺盖拉 三 2011 带约束的高阶逻辑编程语言:语义。 Zbl 1215.68058号 詹姆斯·利普顿;苏珊娜·尼娃 三 2007 构造逻辑的可实现性语义背后的一些直觉:Tableaux和Läuchli反模型。 Zbl 0882.03056号 詹姆斯·利普顿;迈克尔·奥唐纳。 三 1996 逻辑程序的索引类别和自下而上的语义。 Zbl 1275.68042号 吉安卢卡·阿马托;詹姆斯·利普顿 2 2001 通过分类约束在逻辑编程中封装数据。 兹伯利0947.03045 詹姆斯·利普顿;罗伯特·麦格拉尔 2 1998 Hiord:一种具有谓词抽象的无类型高阶逻辑编程语言。 Zbl 1115.68370号 丹尼尔·卡贝扎;曼纽尔·赫尔梅内吉尔多;詹姆斯·利普顿 2 2004 τ类逻辑编程。 Zbl 1044.68538号 斯泰西·芬克尔斯坦。;彼得·弗雷德;詹姆斯·利普顿 2 1995 表格寓言中的逻辑编程。 Zbl 1281.68079号 埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿(James B.Lipton)。 2 2012 在带有公理的类型理论中,一种构造性的语义方法来消减。 Zbl 1157.03031号 奥利维尔·赫尔曼特;詹姆斯·利普顿 1 2008 TBLL中的Provability:决策程序。 Zbl 0783.03003号 J.奇里马尔。;J.利普顿。 1 1992 约束逻辑编程的声明性编译。 Zbl 1353.68036号 埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿;朱利奥·马里诺 1 2015 直觉主义类型理论的完备性和删减。二、。 Zbl 1188.03042号 奥利维尔·赫尔曼特;詹姆斯·利普顿 1 2010 高阶类型理论的克里普克语义应用于约束逻辑编程语言。 Zbl 1387.68059号 詹姆斯·利普顿;苏珊娜·尼娃 1 2018 用关系机进行约束逻辑编程。 Zbl 1355.68035号 埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿;朱利奥·马里诺 1 2017 建设性谬论的直观反例。 Zbl 1496.03250号 詹姆斯·利普顿;迈克尔·奥唐纳。 1 1994 依赖类型理论和可实现性解释的克里普克语义。 Zbl 1434.03041号 詹姆斯·利普顿 1 1992 应用于约束逻辑编程语言的高阶类型理论的Kripke语义。 兹比尔1387.68059 詹姆斯·利普顿;苏珊娜·尼娃 1 2018 用关系机进行约束逻辑编程。 Zbl 1355.68035号 埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿;朱利奥·马里诺 1 2017 约束逻辑编程的声明性编译。 兹比尔1353.68036 埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿;朱利奥·马里诺 1 2015 表格寓言中的逻辑编程。 Zbl 1281.68079号 埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿(James B.Lipton)。 2 2012 使用无变量关系代数的一阶统一。 Zbl 1253.68194号 埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿;朱利奥·马里诺;巴勃罗·诺盖拉 三 2011 直觉主义类型理论的完备性和删减。二、。 Zbl 1188.03042号 奥利维尔·赫尔曼特;詹姆斯·利普顿 1 2010 关于声明性编程语言的代数结构。 Zbl 1187.68121号 吉安卢卡·阿马托;詹姆斯·利普顿;罗伯特·麦格拉尔 8 2009 在带有公理的类型理论中,一种构造性的语义方法来消减。 Zbl 1157.03031号 奥利维尔·赫尔曼特;詹姆斯·利普顿 1 2008 带约束的高阶逻辑编程语言:语义。 Zbl 1215.68058号 詹姆斯·利普顿;苏珊娜·尼娃 三 2007 直觉主义类型理论的完备性和删减。 Zbl 1095.03056号 玛丽·德马尔科;詹姆斯·利普顿 7 2005 一种新的声明式编程框架。 Zbl 1028.68023号 斯泰西·芬克尔斯坦。;彼得·弗雷德;詹姆斯·利普顿 4 2004 Hiord:一种具有谓词抽象的无类型高阶逻辑编程语言。 Zbl 1115.68370号 丹尼尔·卡贝扎;曼纽尔·赫尔梅内吉尔多;詹姆斯·利普顿 2 2004 逻辑程序的索引类别和自下而上的语义。 兹比尔1275.68042 吉安卢卡·阿马托;詹姆斯·利普顿 2 2001 通过分类约束在逻辑编程中封装数据。 Zbl 0947.03045号 詹姆斯·利普顿;罗伯特·麦格拉尔 2 1998 构造逻辑的可实现性语义背后的一些直觉:Tableaux和Läuchli反模型。 Zbl 0882.03056号 詹姆斯·利普顿;O&rsquo的;迈克尔·唐奈尔(Michael J.Donnell)。 三 1996 τ类逻辑编程。 Zbl 1044.68538号 斯泰西·芬克尔斯坦。;彼得·弗雷德;詹姆斯·利普顿 2 1995 建设性谬论的直观反例。 Zbl 1496.03250号 詹姆斯·利普顿;O&rsquo的;迈克尔·唐奈尔(Michael J.Donnell)。 1 1994 构造性Kripke语义和可实现性。 Zbl 0757.03018号 詹姆斯·利普顿 4 1992 TBLL中的Provability:决策程序。 Zbl 0783.03003号 J.奇里马尔。;J.利普顿。 1 1992 依赖类型理论和可实现性解释的克里普克语义。 Zbl 1434.03041号 詹姆斯·利普顿 1 1992 所有引用出版物 前5名被引用出版物 全部的 前5名41位作者引用 7 詹姆斯·利普顿(James B.Lipton)。 4 叶卡捷琳娜·科门丹茨卡亚 三 奥利维尔·赫尔曼特 三 苏珊娜·尼娃 三 权力,约翰 2 吉安卢卡·阿马托 2 罗斯·波勒 2 Gilles Dowek 2 埃米利奥·杰苏斯·加列戈·阿里亚斯 2 朱利奥·马里诺 2 安德烈·普拉泽 2 费尔南多·Sáenz-Pérez 2 詹姆·桑切斯·埃尔南德斯 1 加布里埃尔·阿兰达·洛佩斯 1 史蒂夫·阿沃迪 1 马克·比克福德 1 乍得·布朗·爱德华 1 纪尧姆·伯勒 1 纪尧姆·伯里 1 拉斐尔·考德利埃 1 罗伯特·李,警察 1 马克西米利亚诺·克里斯蒂亚 1 大卫·德拉哈耶 1 毛罗·法拉利 1 斯泰西·芬克尔斯坦。 1 佛罗伦萨,卡米洛 1 吉多·菲奥里诺 1 彼得·弗雷德。 1 保罗·金蒂里尼 1 皮埃尔·哈尔马格兰 1 乔纳森·赫拉斯 1 Maurizio Martelli 1 盖·安德鲁·麦库斯克 1 罗伯特·W·麦克格雷。 1 马蒂亚斯·梅尼 1 迈克尔·奥唐纳。 1 弗洛里安·拉贝 1 吉安弗兰科·罗西 1 施密特,马丁 1 弗朗西丝卡·斯科扎里 1 阿尔伯特·齐格勒 全部的 前5名10篇连载文章中引用 4 自动推理杂志 三 理论计算机科学 三 纯逻辑与应用逻辑年鉴 2 逻辑程序设计理论与实践 1 圣母院形式逻辑杂志 1 信息与计算 1 计算的形式方面 1 应用的分类结构 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 21 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文