编辑配置文件(在新选项卡中打开) Jean-Louis拉塞兹 合著者距离 作者ID: 拉塞兹·詹·洛伊斯 发布日期: Jean-Louis拉塞兹;J.-L.拉塞兹。;J.L.拉塞兹。 更多。。。较少的 已编制索引的文档: 32出版物自1972年起 3作为编辑的贡献 传记参考: 1出版物 合著者: 16位合著者具有26联合出版物 340位合作作者 全部的 前5名合著者 8 单作者的 8 迈克尔·马赫(Michael J.Maher)。 5 金·万豪酒店 4 Tien Huynh 4 凯瑟琳·拉塞兹 3 Joxan雅法 2 利奥·约斯科维茨 2 Shyr,Huei-Jan公司 1 维杰·钱德鲁 1 Foo,Norman Y。 1 威廉·海比奇 1 赫莱内·基什内尔 1 肯尼斯·麦卡隆 1 李·奈什 1 戈登·普洛金(Gordon D.Plotkin)。 1 港口,G.S。 1 Sonenberg,E.A.公司。 全部的 前5名系列 4 数学与人工智能年鉴 3 理论计算机科学 2 逻辑编程杂志 2 自动推理杂志 2 国际计算机数学杂志 1 IEEE信息理论汇刊 1 信息处理信件 1 信息科学 1 国际计算机与信息科学杂志 1 谭康数学杂志 1 实用数学 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 符号计算杂志 1 新一代计算 全部的 前5名领域 30 计算机科学(68至XX) 8 信息与通信理论、电路(94-XX) 5 运筹学、数学规划(90-XX) 4 数学逻辑和基础(03-XX) 3 总体主题;集合(00-XX) 2 群论与推广(20-XX) 1 组合数学(05-XX) 1 有序,格,有序代数结构(06-XX) 1 算子理论(47-XX) 1 几何图形(51至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用356中的次305文件 引用人▼ 年份▼ 计算逻辑。纪念艾伦·罗宾逊的论文。 Zbl 0793.0302号 82 1991 重新审视统一。 Zbl 0645.68046号 J.-L.拉塞兹。;马希尔,M.J。;英国万豪酒店。 62 1988 编程逻辑语义中的闭包和公平。 Zbl 0547.68034号 J.-L.拉塞兹。;马希尔,M.J。 31 1984 反例定义的术语的显式表示。 Zbl 0641.68124号 J.-L.拉塞兹。;英国万豪酒店。 30 1987 不动点定理和语义:一个民间故事。 Zbl 0488.68015号 J.-L.拉塞兹。;Nguyen,V.L。;Sonenberg,E.A.公司。 30 1982 广义线性约束的标准形式。 Zbl 0745.90046号 Jean-Louis拉塞兹;肯·麦卡龙 21 1992 循环代码和同步。 兹比尔0401.68050 J.-L.拉塞兹。 16 1976 关于线性算术约束的傅里叶算法。 Zbl 0781.90064号 Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 13 1992 具有相等性的完整逻辑程序的理论。 Zbl 0584.68021号 Joxan雅法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 13 1984 项代数中否定的消除。 Zbl 0776.68070号 J.-L.拉塞兹。;马希尔,M。;英国万豪酒店。 12 1991 多面体集投影的实际问题。 Zbl 0875.68821号 Tien Huynh;凯瑟琳·拉塞兹;Jean-Louis拉塞兹 11 1992 逻辑程序的最佳定点。 Zbl 0584.68029号 J.-L.拉塞兹。;马希尔,M.J。 9 1985 大多数特定的逻辑程序。 Zbl 0878.68036号 英国万豪酒店。;L·奈什。;J.-L.拉塞兹。 6 1990 线性约束推理的实用工具。 Zbl 0764.68152号 Tien Huynh;利奥·约斯科维茨;凯瑟琳·拉塞兹;Jean-Louis拉塞兹 3 1991 论系统前缀码的结构。 Zbl 0262.68018号 Jean-Louis拉塞兹 3 1972 线性约束下的定性定理证明。 Zbl 1274.03019号 维杰·钱德鲁;Jean-Louis拉塞兹 2 2003 最大可统一子集和最小不可统一子集。 Zbl 0591.68083号 陈天勇。;J.-L.拉塞兹。;港口,G.S。 2 1986 关于“逻辑程序的一般故障”的评论。 Zbl 0596.68014号 Joxan雅法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 2 1986 使用参数查询推理线性约束。 Zbl 0733.68080号 Tien Huynh;利奥·约斯科维茨;凯瑟琳·拉塞兹;Jean-Louis拉塞兹 2 1990 重新访问傅里叶算法。 Zbl 1493.68401号 Tien Huynh;凯瑟琳·拉塞兹;Jean-Louis拉塞兹 2 1990 语言幺半群中的前缀属性和方程。 Zbl 0412.20054号 J.L.拉塞兹。;H.J.Shyr。 1 1978 前缀码和同构自动机。 兹伯利0273.94053 J.L.拉塞兹。 1 1973 强前缀码的对应。 Zbl 0307.94015号 J.L.拉塞兹。 1 1975 从LP到LP:带约束的编程。 Zbl 1493.68116号 Jean-Louis拉塞兹 1 1991 线性约束下的定性定理证明。 Zbl 1274.03019号 维杰·钱德鲁;Jean-Louis拉塞兹 2 2003 广义线性约束的标准形式。 Zbl 0745.90046号 Jean-Louis拉塞兹;肯·麦卡龙 21 1992 关于线性算术约束的傅里叶算法。 Zbl 0781.90064号 Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 13 1992 多面体集投影的实际问题。 Zbl 0875.68821号 Tien Huynh;凯瑟琳·拉塞兹;Jean-Louis拉塞兹 11 1992 计算逻辑。纪念艾伦·罗宾逊的论文。 Zbl 0793.0302号 82 1991 项代数中否定的消除。 Zbl 0776.68070号 J.-L.拉塞兹。;马希尔,M。;英国万豪酒店。 12 1991 线性约束推理的实用工具。 Zbl 0764.68152号 Tien Huynh;利奥·约斯科维茨;凯瑟琳·拉塞兹;Jean-Louis拉塞兹 3 1991 从LP到LP:带约束的编程。 Zbl 1493.68116号 Jean-Louis拉塞兹 1 1991 大多数特定的逻辑程序。 Zbl 0878.68036号 英国万豪酒店。;L·奈什。;J.-L.拉塞兹。 6 1990 使用参数查询推理线性约束。 Zbl 0733.68080号 Tien Huynh;利奥·约斯科维茨;凯瑟琳·拉塞兹;Jean-Louis拉塞兹 2 1990 重新访问傅里叶算法。 Zbl 1493.68401号 Tien Huynh;凯瑟琳·拉塞兹;Jean-Louis拉塞兹 2 1990 重新审视统一。 Zbl 0645.68046号 J.-L.拉塞兹。;马希尔,M.J。;英国万豪酒店。 62 1988 反例定义的术语的显式表示。 Zbl 0641.68124号 J.-L.拉塞兹。;英国万豪酒店。 30 1987 最大可统一子集和最小不可统一子集。 Zbl 0591.68083号 陈天勇。;J.-L.拉塞兹。;港口,G.S。 2 1986 关于“逻辑程序的一般故障”的评论。 兹伯利0596.68014 Joxan雅法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 2 1986 逻辑程序的最佳固定点。 Zbl 0584.68029号 J.-L.拉塞兹。;马希尔,M.J。 9 1985 编程逻辑语义中的闭包和公平。 Zbl 0547.68034号 J.-L.拉塞兹。;马希尔,M.J。 31 1984 具有相等性的完整逻辑程序的理论。 Zbl 0584.68021号 Joxan雅法;Jean-Louis拉塞兹;迈克尔·马赫(Michael J.Maher)。 13 1984 不动点定理和语义:一个民间故事。 Zbl 0488.68015号 J.-L.拉塞兹。;Nguyen,V.L。;Sonenberg,E.A.公司。 30 1982 语言幺半群中的前缀属性和方程。 Zbl 0412.20054号 J.L.拉塞兹。;H.J.Shyr。 1 1978 循环代码和同步。 Zbl 0401.68050号 J.-L.拉塞兹。 16 1976 强前缀码的对应。 Zbl 0307.94015号 J.L.拉塞兹。 1 1975 前缀代码和同构自动机。 Zbl 0273.94053号 J.L.拉塞兹。 1 1973 论系统前缀码的结构。 兹比尔0262.68018 Jean-Louis拉塞兹 3 1972 所有引用出版物 前5名被引用出版物 全部的 前5名429位作者引用 12 克里斯蒂安·米歇尔。 11 Jean-Louis拉塞兹 8 迈克尔·马赫(Michael J.Maher)。 7 玛丽亚·阿尔普特 7 何塞·梅塞盖尔·瓜伊塔 7 朱塞佩·皮里略 6 弗兰兹·巴德 6 乔治·列维 6 莫雷诺,吉纳斯 5 塞尔吉奥·安托伊 5 休伯特·科蒙 5 Jean-Pierre Jouannaud 5 扬·威廉·克鲁普 5 阿尔特·米德尔多普 5 莱因哈德·皮克勒 5 苏布拉曼尼亚,V.S。 4 玛丽亚·保拉(Maria Paola Bonacina) 4 莫雷诺,法拉斯基 4 玛丽贝尔·费尔南德斯 4 毛里齐奥·加布里埃利 4 苏拉布·O·卡西达什维利。 4 克洛德·基什内尔 4 萨尔瓦多卢卡斯 4 詹姆·佩纳巴德 3 阿兰·邦迪 3 布鲁诺·库塞尔 3 Jean-Paul,Delahaye 3 纳鸿·德肖维茨 3 艾琳·杜兰德。 3 圣地亚哥埃斯科瓦尔 3 斯特芬·Hölldobler 3 帕斯卡尔·朱利安 3 马诺利斯Koubarakis 3 金·万豪酒店 3 肯尼思·麦卡龙 3 尼禄,阿尼尔 3 卡图西亚帕拉米德斯 3 弗朗切斯科·兰扎托 3 彼得·詹姆斯·斯塔基 3 迈克尔·泰尔舍尔 3 文森特·范·奥斯特罗姆 3 德国维达尔 3 克里斯托夫·韦登巴赫 2 泽纳·M·阿里奥拉。 2 亚历山德罗·阿曼多 2 北拉宾德拉·班纳吉。 2 斯特凡诺·巴拉泰拉 2 凯文·巴茨 2 霍华德·布莱尔。 2 安娜丽莎·博西 2 莫里斯·布吕诺格 2 安德烈斯·布约萨 2 安娜·卡瓦尔坎蒂 2 安德里亚·科拉迪尼 2 弗朗西斯科·达尼诺 2 丹尼·德·施雷耶 2 迪克·登赫托格 2 珍妮·德沃尔德 2 Gilles Dowek 2 桑德罗·埃塔利 2 奥里松·佩雷拉·费雷拉 2 吉尔伯托·菲莱 2 西蒙·福斯特 2 乌尔里希·富巴赫 2 法比奥·加杜奇 2 约翰·加拉赫(John P.Gallagher)。 2 马诺利斯Gergatsoulis 2 罗伯托·贾科巴齐 2 约翰·格劳特 2 吉勒姆·戈多伊 2 乔治·戈特洛布 2 哈维·乔尔·格林伯格 2 塞雷塞·哈丁 2 三木赫尔曼 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 艾达,铁索 2 帕斯卡尔·朱利安·伊兰佐 2 Joxan雅法 2 瓦迪姆·卡根 2 本杰明·卢西恩·卡明斯基 2 Joost-Pieter卡托恩 2 皮埃尔·莱斯坎 2 洛佩斯·加西亚,佩德罗 2 玛丽亚·希亚拉(Maria Chiara Meo) 2 乌戈·蒙塔纳里。 2 Németh,Sándor ZoltáN 2 佩德罗·奥杰达 2 佐藤奥奎 2 尼古拉斯·佩尔蒂埃 2 唐·伦纳德·皮戈齐 2 马里奥·皮里略。 2 萨尔瓦多鲁杰里 2 米歇尔·鲁西诺维奇 2 布鲁诺·萨利尼尔 2 西蒙,阿克塞尔 2 斯蒂芬·斯基里克 2 格特·斯莫尔卡 2 克里希南·苏布拉马尼 2 威廉·温斯伯勒。 2 詹姆斯·C·P·伍德科克。 …还有329位作者 全部的 前5名52篇连载文章被引用 90 理论计算机科学 19 信息与计算 18 符号计算杂志 14 自动推理杂志 11 数学与人工智能年鉴 8 信息处理信件 7 人工智能 7 新一代计算 4 逻辑与代数程序设计杂志 4 理论生物学杂志 3 信息学报 3 模糊集与系统 3 计算机与系统科学杂志 3 纯逻辑与应用逻辑年鉴 3 RAIRO公司。Informatique Théorique et Applications公司 3 程序设计中的逻辑和代数方法杂志 2 信息科学 2 计算的形式方面 2 控制论与系统分析 2 约束条件 2 计算生物学和化学 2 计算机科学中的逻辑方法 1 计算机与数学及其应用 1 数学生物学通报 1 国际计算机与信息科学杂志 1 计量经济学杂志 1 运筹学 1 半群论坛 1 Studia Logica公司 1 合成 1 系统和控制信件 1 运营研究信件 1 SIAM离散数学杂志 1 运筹学年鉴 1 MSCS公司。计算机科学中的数学结构 1 国际计算机数学杂志 1 线性代数及应用 1 工程、通信和计算中的应用代数 1 国际鲁棒非线性控制杂志 1 函数编程杂志 1 信息计算杂志 1 Doklady数学 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 浙江大学学报。科学A 1 泛逻辑 1 优化信函 1 物理学报A:数学与理论 1 国际组合数学杂志 1 ISRN生物数学 全部的 前5名在25个字段中引用 266 计算机科学(68至XX) 68 数学逻辑和基础(03-XX) 16 运筹学、数学规划(90-XX) 13 信息与通信理论、电路(94-XX) 12 生物学和其他自然科学(92-XX) 7 有序,格,有序代数结构(06-XX) 5 组合数学(05-XX) 5 凸和离散几何(52至XX) 4 范畴理论;同调代数(18-XX) 4 群论与推广(20-XX) 3 历史和传记(01-XX) 3 一般代数系统(08-XX) 3 线性代数和多线性代数;矩阵理论(15-XX) 3 系统论;控制(93至XX) 2 总体主题;集合(00-XX) 2 结合环与代数(16-XX) 2 概率论与随机过程(60-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 代数几何(14-XX) 1 动力系统和遍历理论(37至XX) 1 功能分析(46倍X倍) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 按年份列出的引文