编辑配置文件（在新选项卡中打开） 北卡罗来纳州本索。 合著者距离 作者ID： 本索。n 发布日期： 北卡罗来纳州本索。 已编制索引的文档： 2出版物自1994年以来 合著者： 1位合著者具有2份联合出版物 26位合作作者 合著者 0 单作者的 2 伊雷纳游击队 系列 1 理论计算机科学 领域 2 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用9中的次8文件 引用人▼ 年份▼ 转换约束逻辑程序。 Zbl 0913.68042号 北卡罗来纳州本索。;我，游击队员。 6 1998 转换约束逻辑程序。 Zbl 0941.68537号 北卡罗来纳州本索。;我，游击队员。 三 1994 转换约束逻辑程序。 Zbl 0913.68042号 北卡罗来纳州本索。;我，游击队员。 6 1998 转换约束逻辑程序。 Zbl 0941.68537号 北卡罗来纳州本索。;我，游击队员。 三 1994 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 2 长岛，Masanori 2 阿尔贝托·佩特罗西 2 毛里齐奥·普罗埃蒂 2 酒井正彦 1 本杰明·阿齐兹 1 北卡罗来纳州本索。 1 桑德罗·埃塔利 1 格里戈里·费迪尤科维奇 1 法比奥·菲奥拉万蒂 1 毛里齐奥·加布里埃利 1 伊雷纳游击队 1 阿尔蒂·古普塔 1 杰夫·汉密尔顿。 1 加藤富美 1 直纪小林 1 直纪西田 1 坂部俊彦 1 瓦莱里奥·塞尼 连载1篇 三 理论计算机科学 在2个字段中引用 8 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 按年份列出的引文