编辑配置文件（在新选项卡中打开） 马可·贝利亚 合著者距离 作者ID： 贝利亚·马尔科 发布日期： 马可·贝利亚；M.贝利亚。 已编制索引的文档： 21出版物自1977年起 合著者： 6位合著者具有16联合出版物 132联合作者 全部的 前5名合著者 5 单作者的 13 奥奇乌托（M.Eugenia Occhiuto） 三 乔治·列维 1 米歇尔·布格列西 1 恩里科·达梅里 1 皮耶保罗·德加诺 1 Maurizio Martelli 全部的 前5名系列 9 计算机基础理论 2 RAIRO公司。Informatique Théorique et Applications公司 1 卡尔科洛 1 理论计算机科学 1 智慧的力量 1 逻辑程序设计杂志 1 符号计算杂志 1 信息与计算 领域 21 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用27中的次19文件 引用人▼ 年份▼ 逻辑语言和功能语言之间的关系：一项调查。 Zbl 0599.68014号 马可·贝利亚；乔治·列维 14 1986 等式编程的组合形式：实例、统一和缩小。 Zbl 0758.68022号 M.贝利亚。；M.布格列西。；M.E.奥奇乌托。 三 1990 Retractions：逻辑编程的函数范例。 Zbl 0636.68012号 M.贝利亚。 2 1987 C表达式：用于等式逻辑编程的无变量演算。 Zbl 0779.68014号 马可·贝利亚；奥奇乌托（M.Eugenia Occhiuto） 2 1993 通过收缩进行逻辑和函数编程：操作语义。 Zbl 0666.68012号 M.贝利亚。 2 1988 一阶逻辑中的适用通信过程。 Zbl 0494.68033号 马可·贝利亚；皮耶保罗·德加诺；乔治·列维；恩里科·达梅里；Maurizio Martelli 2 1982 通过收回进行逻辑和功能编程。 Zbl 0666.68011号 M.贝利亚。 1 1988 开式和闭式的极值及其在解题中的应用。 Zbl 0828.68044号 马可·贝利亚；奥奇乌托（M.Eugenia Occhiuto） 1 1995 开式和闭式的极值及其在解题中的应用。 Zbl 0828.68044号 马可·贝利亚；奥奇乌托（M.Eugenia Occhiuto） 1 1995 C表达式：用于等式逻辑编程的无变量演算。 Zbl 0779.68014号 马可·贝利亚；奥奇乌托（M.Eugenia Occhiuto） 2 1993 等式编程的组合形式：实例、统一和缩小。 Zbl 0758.68022号 M.贝利亚。；M.布格列西。；M.E.奥奇乌托。 三 1990 通过收缩进行逻辑和函数编程：操作语义。 Zbl 0666.68012号 M.贝利亚。 2 1988 通过收回进行逻辑和功能编程。 Zbl 0666.68011号 M.贝利亚。 1 1988 收回：逻辑编程的一种功能范式。 Zbl 0636.68012号 M.贝利亚。 2 1987 逻辑和函数语言之间的关系：综述。 Zbl 0599.68014号 马可·贝利亚；乔治·列维 14 1986 一阶逻辑中的适用通信过程。 Zbl 0494.68033号 马可·贝利亚；皮耶保罗·德加诺；乔治·列维；恩里科·达梅里；Maurizio Martelli 2 1982 所有引用出版物 前5名被引用出版物 全部的 前5名31位作者引用 三 马可·贝利亚 三 丽塔·勒根 2 纳鸿·德肖维茨 2 埃米利奥·杰苏斯·加列戈·阿里亚斯 2 乔治·列维 2 詹姆斯·利普顿（James B.Lipton）。 2 朱利奥·马里诺 1 玛丽亚·阿尔普恩特 1 奇亚拉博迪 1 斯塔凡·邦尼尔 1 约翰·达林顿 1 瑞希德·埃哈希德 1 Kattamuri Ekanadham 1 莫雷诺，法拉斯基 1 吉安·路易吉，法拉利 1 郭一科 1 斯特芬·Hölldobler 1 巴拉特·贾亚拉曼 1 赫伯特·库欣 1 雅塞克·莱斯齐洛夫斯基 1 马ł斯基，简 1 莫雷诺·纳瓦罗，胡安·何塞 1 奥奇乌托（M.Eugenia Occhiuto） 1 冈田三弘 1 卡图西亚帕拉米德斯 1 基沙夫·平加里。 1 科拉多·普里亚米 1 马里奥·罗德里格斯-阿塔莱霍 1 弗兰克·S·K·西尔伯曼。 1 西瓦库马尔，G.D。 1 史蒂芬·温克勒（Stephan M.Winkler）。 全部的 前5名7篇连载文章中引用 7 理论计算机科学 2 RAIRO公司。Informatique Théorique et Applications公司 1 信息学报 1 信息处理信件 1 新一代计算 1 计算的形式方面 1 函数编程杂志 在4个字段中引用 19 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 按年份列出的引文