编辑配置文件(在新选项卡中打开) 托姆·吕维思 合著者距离 作者ID: 弗鲁威瑟·托姆 发布日期: 托姆·吕维思;托姆·弗鲁厄沃思;托姆·吕维特 更多。。。较少的 已编制索引的文档: 38出版物自1996年以来,包括2本书 3作为编辑的贡献 合著者: 21位合著者具有28联合出版物 480位合作作者 全部的 前5名合著者 13 单作者的 8 Abdennadher,苗条 4 丹尼尔,加尔 三 哈利奥夫·贝茨 三 Frank Raiser先生 三 汤姆·施里杰弗斯 2 哈利勒·杰卢尔 2 亚历山德拉·拉斐塔 1 苏珊·比昂多 1 Thi-Bich-Hanh道 1 丹尼·德·施雷耶 1 巴特·德梅恩 1 格雷戈里·杜克。 1 葛维,卡门 1 马克·梅斯特 1 霍尔格·缪斯 1 甘瑟·帕尔姆 1 阿亚·萨阿德 1 乔恩·斯奈尔斯 1 彼得·詹姆斯·斯塔基 1 马丁·威尔辛 1 阿米拉·扎基 全部的 前5名系列 9 逻辑程序设计理论与实践 2 ACM计算逻辑事务 2 计算机科学课堂讲稿 1 理论计算机科学 1 逻辑程序设计杂志 1 符号计算杂志 1 控制科学档案 1 约束条件 1 计算机基础理论 1 认知技术 领域 41 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用168次101文件 引用人▼ 年份▼ 约束处理规则的理论与实践。 Zbl 0920.68029号 托姆·吕维思 56 1998 约束处理规则。 Zbl 1182.68039号 托姆·吕维思 33 2009 约束简化规则的汇合和语义。 Zbl 0951.68070号 Abdennadher,苗条;托姆·吕维思;霍尔格·缪斯 13 1999 约束编程的要点。 Zbl 1064.68026号 托姆·吕维特;Abdennadher,苗条 13 2003 重温有限或无限树理论。 Zbl 1148.68043号 哈利勒·杰卢尔;Thi-Bich-Hanh道;托姆·吕维思 9 2008 在约束处理规则中找到最佳并集。 Zbl 1109.68029号 汤姆·施里杰弗斯;托姆·吕维思 6 2006 约束处理规则的完整终止执行模型。 Zbl 1205.68215号 哈利奥夫·贝茨;Frank Raiser先生;托姆·吕维思 5 2010 约束处理规则的线性逻辑语义。 Zbl 1153.68349号 哈利奥夫·贝茨;托姆·吕维思 5 2005 基于规则的约束求解器的集成和优化。 Zbl 1099.68718号 Abdennadher,苗条;托姆·吕维思 4 2004 时间注释约束逻辑编程。 Zbl 0867.68025号 托姆·吕维思 三 1996 CHR计划和限制条件的操作等效性。 Zbl 0960.68104号 Abdennadher,苗条;托姆·吕维思 2 1999 约束处理规则。当前研究主题。 Zbl 1157.68008号 2 2008 欢迎学习约束处理规则。 Zbl 1229.68019号 托姆·吕维思 2 2008 通过约束处理规则分析图转换系统。 Zbl 1222.68067号 Frank Raiser先生;托姆·吕维思 2 2011 任意域上字典序约束的完备传播规则。 Zbl 1180.68246号 托姆·吕维思 1 2006 使用约束处理规则求解约束。 兹伯利0987.68011 托姆·吕维思 1 2000 在ACT-R的适应性实现中交换冲突解决。 Zbl 1307.68015号 丹尼尔·加尔;托姆·吕维思 1 2014 基于线性逻辑的带析取约束处理规则分析。 Zbl 1353.68030号 哈利奥夫·贝茨;托姆·吕维思 1 2013 并行保护多集转换规则的专业化。 Zbl 1134.68347号 托姆·吕维思 1 2005 使用汇流分析在约束处理规则中并行union-find。 Zbl 1165.68331号 托姆·吕维思 1 2005 慕尼黑租房顾问:当时互联网上逻辑编程的成功。 兹比尔1090.68572 托姆·吕维思;Abdennadher,苗条 1 2001 教程:使用、关于和针对约束处理规则进行推理。 Zbl 1057.68573号 托姆·弗鲁厄沃思;Abdennadher,苗条 1 2002 CHR中图变换系统的强可接合性分析。 Zbl 1291.68221号 Frank Raiser先生;托姆·吕维思 1 2009 将模等价与约束处理规则中的不变量合并。 Zbl 1507.68063号 丹尼尔·加尔;托姆·吕维思 1 2018 CHR约束的自动隐含检查。 Zbl 1276.68043号 汤姆·施里杰弗斯;巴特·德梅恩;格雷戈里·杜克;彼得·斯塔基;托姆·吕维思 1 2006 CHRiSM中的概率法律推理。 Zbl 1286.68058号 乔恩·斯奈尔斯;丹尼·德·施雷耶;托姆·吕维思 1 2013 动态算法中逻辑收缩的约束处理规则的合理性:理论、实现和复杂性。 Zbl 1471.68049号 托姆·吕维思 1 2020 动态算法中逻辑收缩的约束处理规则的合理性:理论、实现和复杂性。 Zbl 1471.68049号 托姆·吕维思 1 2020 将模等价与约束处理规则中的不变量合并。 Zbl 1507.68063号 丹尼尔·加尔;托姆·吕维思 1 2018 在ACT-R的适应性实现中交换冲突解决。 Zbl 1307.68015号 丹尼尔·加尔;托姆·吕维思 1 2014 基于线性逻辑的析取约束处理规则分析。 Zbl 1353.68030号 哈利奥夫·贝茨;托姆·吕维思 1 2013 CHRiSM中的概率法律推理。 Zbl 1286.68058号 乔恩·斯奈尔斯;丹尼·德·施雷耶;托姆·吕维思 1 2013 通过约束处理规则分析图转换系统。 Zbl 1222.68067号 Frank Raiser先生;托姆·吕维思 2 2011 约束处理规则的完整终止执行模型。 Zbl 1205.68215号 哈利奥夫·贝茨;拉瑟,弗兰克;托姆·吕维思 5 2010 约束处理规则。 Zbl 1182.68039号 托姆·吕维思 33 2009 CHR中图变换系统的强可接合性分析。 Zbl 1291.68221号 Frank Raiser先生;托姆·吕维思 1 2009 重温有限或无限树理论。 Zbl 1148.68043号 哈利勒·杰卢尔;Thi-Bich-Hanh道;托姆·吕维思 9 2008 约束处理规则。当前研究主题。 Zbl 1157.68008号 2 2008 欢迎学习约束处理规则。 Zbl 1229.68019号 托姆·吕维思 2 2008 在约束处理规则中找到最佳并集。 Zbl 1109.68029号 汤姆·施里杰弗斯;托姆·吕维思 6 2006 任意域上字典序约束的完备传播规则。 Zbl 1180.68246号 托姆·吕维思 1 2006 CHR约束的自动隐含检查。 Zbl 1276.68043号 汤姆·施里杰弗斯;巴特·德梅恩;格雷戈里·杜克;彼得·斯塔基;托姆·吕维思 1 2006 约束处理规则的线性逻辑语义。 Zbl 1153.68349号 哈利奥夫·贝茨;托姆·吕维思 5 2005 并行保护多集转换规则的专业化。 Zbl 1134.68347号 托姆·吕维思 1 2005 使用汇流分析在约束处理规则中并行union-find。 兹比尔1165.68331 托姆·吕维思 1 2005 基于规则的约束求解器的集成和优化。 Zbl 1099.68718号 Abdennadher,苗条;托姆·吕维思 4 2004 约束编程的要点。 Zbl 1064.68026号 托姆·吕维特;Abdennadher,苗条 13 2003 教程:使用、关于和针对约束处理规则进行推理。 Zbl 1057.68573号 托姆·弗鲁厄沃思;Abdennadher,苗条 1 2002 慕尼黑租房顾问:当时互联网上逻辑编程的成功。 Zbl 1090.68572号 托姆·吕维思;Abdennadher,苗条 1 2001 使用约束处理规则求解约束。 兹伯利0987.68011 托姆·吕维思 1 2000 约束简化规则的汇合和语义。 Zbl 0951.68070号 Abdennadher,苗条;托姆·吕维思;霍尔格·缪斯 13 1999 CHR程序和约束的操作等效性。 Zbl 0960.68104号 Abdennadher,苗条;托姆·吕维思 2 1999 约束处理规则的理论与实践。 Zbl 0920.68029号 托姆·吕维思 56 1998 时间注释约束逻辑编程。 Zbl 0867.68025号 托姆·吕维思 三 1996 所有引用出版物 前5名被引用出版物 全部的 前5名165位作者引用 10 托姆·吕维思 8 汤姆·施里杰弗斯 7 乔恩·斯奈尔斯 6 海宁·克里斯蒂安森 5 Abdennadher,苗条 5 莱斯利·德科宁克 5 丹尼·德·施雷耶 5 毛里齐奥·加布里埃利 5 玛丽亚·希亚拉(Maria Chiara Meo) 5 马丁·苏尔兹曼 4 巴特·德梅恩 4 哈利勒·杰卢尔 4 格雷戈里·杜克。 4 曼努埃尔五世(Manuel V.Hermenegildo)。 4 彼得·范沃特 三 维罗妮卡·达尔 三 马可·加瓦内利 三 雷米·海默尔 三 Maja Hanne Kirkeby 三 伊芙琳娜·拉姆 三 何塞·弗朗西斯科·莫拉莱斯 三 保罗·皮洛齐 三 法里巴·萨德里 三 彼得·詹姆斯·斯塔基 2 马尔科·阿尔贝蒂 2 哈利奥夫·贝茨 2 贾斯敏·克里斯蒂安·布兰切特 2 曼纽尔·卡罗 2 丹尼尔·加尔 2 菲利普·科纳 2 Michael Leuschel先生 2 保罗·曼卡雷拉 2 雅各布·毛罗 2 弗兰克·芬宁 2 Frank Raiser先生 2 安德鲁·雷诺兹 2 英吉·索比 2 保罗·塔切拉 2 Kazunori上田 2 阿米拉·扎基 1 萨默尔·阿卜杜拉。 1 萨尔瓦多阿布雷乌 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 阿坤、奥祖尔 1 桑德拉·阿尔维斯 1 大卫·安科纳 1 文森特·巴里查德 1 巴罗尼,彼得罗 1 霍华德·巴林杰 1 埃琳娜·贝洛迪 1 斯蒂法诺·比斯塔雷利 1 卢卡斯·波尔多 1 布罗达,Krysia B。 1 布埃诺,弗朗西斯科 1 斯蒂芬·巴特勒 1 Graham H.坎贝尔。 1 陈志波 1 费德里科·切萨尼 1 乔瓦尼·西亚托 1 安德烈亚·科拉迪 1 科雷亚,阿尤布·因萨 1 维托尔·桑托斯·科斯塔 1 弗拉维奥·弗朗卡·克鲁兹 1 崔宝秋 1 费卢西奥·达米亚尼 1 伊曼纽尔·德·安吉利斯 1 吕克·德·雷德 1 玛丽亚诺·德·索萨·比斯波 1 辛齐亚·迪·朱斯托 1 丹尼尔·迪亚兹 1 安东·德里斯 1 段振华 1 艾哈迈德·埃尔萨维 1 乌尔·恩德里斯 1 弗朗索瓦·法赫斯 1 毛罗·法拉利 1 法比奥·菲奥拉万蒂 1 佛罗伦萨,卡米洛 1 迈克尔·费希尔 1 马里奥弗洛里多 1 Dov M.加巴伊。 1 约翰·加拉赫(John P.Gallagher)。 1 高,杨 1 伊恩·菲利普·根特 1 塞斯·科本·戈尔茨坦 1 格雷厄姆·高夫 1 圭多州长 1 枪,蒂亚斯 1 尤里安·黑格 1 尤塞夫·哈马迪 1 阿尔瓦州伊斯梅尔 1 德克萨斯州贾法 1 克里斯托弗·杰斐逊 1 何继峰 1 吉隆嘉美 1 铃木卡内科 1 罗伯特·A·科瓦尔斯基。 1 塞巴斯蒂安·克林斯 1 乔瓦尼·拉戈里奥 1 Lam、Edmund Soon Lee …还有65位作者 全部的 前5名17篇连载文章中引用 24 逻辑程序设计理论与实践 三 理论计算机科学 三 自动推理杂志 三 计算的形式方面 三 数学与人工智能年鉴 2 人工智能 2 国际近似推理杂志 2 函数编程杂志 1 计算机与数学及其应用 1 应用数学与计算 1 信息与计算 1 计算机与运筹学 1 运筹学年鉴 1 吉泰。实验与理论人工智能杂志 1 约束条件 1 组合优化期刊 1 应用逻辑杂志 在5个字段中引用 97 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 4 运筹学、数学规划(90-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数值分析(65-XX) 按年份列出的引文