编辑配置文件（在新选项卡中打开） 马克·米歇尔·科西尼 合著者距离 作者ID： corsini.mac-michel公司 发布日期： 马克·米歇尔·科西尼;科西尼，M.-M。 已编制索引的文档： 4出版物自1993年起 2作为编辑的贡献 合著者： 10位合著者具有6联合出版物 254合著作者 全部的 前5名合著者 0 单作者的 三 安托万·劳西 2 卡宁达穆桑布 1 劳伦·弗里堡 1 阿兰·格里弗 1 郝金高 1 波杜因勒·沙利埃 1 皮埃里克·罗格朗 1 伊芙琳·卢顿 1 尼古拉斯·蒙马奇 1 马克·施努埃尔 系列 1 理论计算机科学 1 RAIRO公司。技术与科学信息 1 自动推理杂志 1 计算机科学课堂讲稿 领域 6 计算机科学（68至XX） 2 一般性和全局性主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次3文件 引用人▼ 年份▼ 通过符号有限域上的约束求解对Prolog进行自底向上的高效抽象解释。 Zbl 0797.68028号 马克·米歇尔·科西尼;卡宁达穆桑布;安托万·劳西;波杜因勒·沙利埃 2 1993 图皮：有限域上的（mu）-演算作为约束语言。 Zbl 0941.03532号 马克·米歇尔·科西尼;安托万·劳西 1 1997 图皮：有限域上的（mu）-演算作为约束语言。 Zbl 0941.03532号 马克·米歇尔·科西尼;安托万·劳西 1 1997 通过符号有限域上的约束求解对Prolog进行自底向上的高效抽象解释。 Zbl 0797.68028号 马克·米歇尔·科西尼;卡宁达穆桑布;安托万·劳西;Le Charlier，博杜因 2 1993 全部的 前5名12位作者引用 1 Afrati，Foto N。 1 西奥多·安德洛尼科斯 1 迈克尔·科迪什 1 伊曼纽尔·德·安吉利斯 1 法比奥·菲奥拉万蒂 1 尤格尼·福斯托科斯 1 约翰·加拉赫（John P.Gallagher）。 1 伊雷纳游击队 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 格里高里·马舍维茨基 1 阿尔贝托·佩特罗西 1 毛里齐奥·普罗埃蒂 2篇连载文章中引用 2 理论计算机科学 1 逻辑程序设计的理论与实践 在2个字段中引用 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文