编辑配置文件(在新选项卡中打开) 萨布丽娜·Baselice 合著者距离 作者ID: 基线.sabina 发布日期: 萨布丽娜·Baselice;Baselice,S。 已编制索引的文档: 5出版物自2005年以来 合著者: 3位合著者具有5联合出版物 66联合作者 合著者 0 单作者的 5 皮耶罗·安德里亚·博纳蒂 2 乔瓦尼·克里斯库洛 1 迈克尔·盖尔芬德 系列 2 逻辑程序设计的理论与实践 领域 5 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用36中的次32文件 引用人▼ 年份▼ 走向答案集和约束求解的集成。 Zbl 1165.68481号 Baselice,S。;博纳蒂,P.A。;Gelfond,M。 18 2005 关于有限递归程序。 Zbl 1166.68311号 萨布丽娜·Baselice;波纳蒂,皮耶罗·A。;乔瓦尼·克里斯库洛 8 2009 关于有限递归程序。 Zbl 1213.68170号 Baselice,S。;博纳蒂,P.A。;克里斯库洛,G。 5 2007 有限程序的一个可判定子类。 Zbl 1205.68114号 萨布丽娜·Baselice;皮耶罗·A·博纳蒂。 4 2010 用函数符号编写普通程序。 Zbl 1185.68147号 萨布丽娜·Baselice;皮耶罗·A·博纳蒂。 1 2008 有限程序的一个可判定子类。 Zbl 1205.68114号 萨布丽娜·Baselice;皮耶罗·A·博纳蒂。 4 2010 关于有限递归程序。 兹比尔1166.68311 萨布丽娜·Baselice;皮耶罗·A·博纳蒂。;乔瓦尼·克里斯库洛 8 2009 用函数符号编写普通程序。 Zbl 1185.68147号 萨布丽娜·Baselice;波纳蒂,皮耶罗·A。 1 2008 关于有限递归程序。 Zbl 1213.68170号 Baselice,S。;博纳蒂,P.A。;克里斯库洛,G。 5 2007 走向答案集和约束求解的集成。 Zbl 1165.68481号 Baselice,S。;博纳蒂,P.A。;Gelfond,M。 18 2005 所有引用出版物 前5名被引用出版物 全部的 前5名72位作者引用 4 托尔斯滕·绍布(Torsten H.Schaub)。 三 塞尔吉奥·格雷科 三 伊琳娜·特鲁比通娜 2 马里奥·阿尔维亚诺 2 马塞洛·巴尔杜奇尼 2 萨布丽娜·Baselice 2 皮耶罗·安德里亚·博纳蒂 2 佩德罗·卡巴拉尔 2 马可·卡洛蒂 2 弗朗西斯科·卡利默里 2 马丁·迪盖兹 2 卡明·多达罗 2 托马斯·艾特 2 迈克尔·盖尔芬德 2 乔瓦姆巴蒂斯塔·伊安尼 2 尼古拉·利昂 2 马可·马拉提亚 2 克里斯蒂安·莫里纳罗 2 马克斯·奥斯特罗斯基 2 法布里西奥·里古齐 2 安娜·舒曼 2 斯威夫特,特伦斯 1 华金·阿里亚斯 1 穆苏诺里·班巴拉 1 克里斯托弗·贝亚特里克斯 1 阿维德·贝克尔 1 曼纽尔·卡罗 1 弗朗西斯科·考特鲁西奥 1 海宁·克里斯蒂安森 1 卢卡·西内利 1 苏珊娜·科萨 1 阿戈斯蒂诺·多维尔 1 法国杜兰杜比夫 1 沃尔夫冈·费伯 1 路易斯·法利尼亚斯·德尔·塞罗 1 佛罗伦萨,卡米洛 1 劳伦特·加西亚 1 马丁·盖布瑟 1 戈帕尔·古普塔 1 本杰明·考夫曼 1 托马斯·克伦瓦尔纳 1 艾米丽·勒布朗(Emily C.Leblanc)。 1 克莱尔·莱夫雷 1 尤利亚·利勒 1 林方珍 1 丹尼尔·马加泽尼 1 凯尔·马普尔 1 阿尔多·马尔祖洛 1 Veena S.梅拉科德。 1 A.里卡多·莫拉莱斯 1 Niemelä,Ilkka N.F。 1 苏珊娜·尼娃 1 马里奥·奥尔纳吉 1 弗朗西斯科·里卡 1 费尔南多·Sáenz-Pérez 1 埃尔默·萨拉扎 1 詹姆·桑切斯·埃尔南德斯 1 多米尼克·萨佩·马里尼尔 1 西蒙库斯,曼塔斯 1 儿子Tran Cao 1 弗朗西斯卡·斯佩萨诺 1 克洛迪奥,坚韧 1 伊戈尔·斯特芬 1 沙哈卜·塔沙罗菲 1 尤金妮亚·特诺夫斯卡 1 乔治·特拉西纳 1 Tu,Phan Huy先生 1 王一松 1 你,嘉慧 1 袁丽燕 1 张明义 1 张元林 全部的 前5名6篇连载文章中引用 14 逻辑程序设计的理论与实践 三 数学与人工智能年鉴 2 人工智能 1 应用非经典逻辑杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 在4个字段中引用 31 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文