编辑配置文件(在新选项卡中打开) 佛罗伦萨·杰克马尔 合著者距离 作者ID: 雅克马尔·弗洛伦特 发布日期: 佛罗伦萨·杰克马尔 已编制索引的文档: 33出版物自1994年以来 合著者: 33位合著者具有31联合出版物 393合著作者 全部的 前5名合著者 2 单作者的 6 米歇尔·鲁西诺维奇 三 休伯特·科蒙 三 哈拉尔德·甘辛格 三 吉勒姆·戈多伊 三 Masahiko酒井 三 卡米尔·瓦彻 三 玛格斯·维纳斯 三 劳伦·维格纳龙 2 阿黛尔·布胡拉 2 休伯特·科蒙·隆德 2 弗朗西斯·克莱 2 吉原小岛 2 尼古拉斯·佩林 1 路易斯·巴尔古诺 1 让·布列松 1 卡隆、安妮·塞西尔 1 Jean-Luc Coquidé 1 维罗尼克·科尔蒂尔 1 卡莱斯·克鲁斯 1 马克斯·多切特 1 斯特凡尼德劳恩 1 杰雷米·迪米诺 1 皮埃尔·多纳特·布伊勒德 1 弗朗西斯科·福斯卡林 1 阿德里亚·加斯科恩 1 马修·吉拉德 1 克里斯托夫·迈耶 1 一郎三桥 1 小山口,美雄 1 菲利普·里戈 1 利迪亚·罗德里格斯·德拉纳瓦 1 卢克·塞古芬 1 克里斯托夫·韦登巴赫 全部的 前5名系列 三 信息与计算 三 计算机科学中的逻辑方法 1 信息处理信件 1 计算机与系统科学杂志 1 自动推理杂志 1 国际计算机科学基础杂志 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 字段 33 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 2 信息与通信理论、电路(94-XX) 1 一般代数系统(08-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用183中的次127文件 引用人▼ 年份▼ 项重写系统的可判定近似。 Zbl 1503.68117号 佛罗伦萨·杰克马尔 18 1996 接地还原性为EXPTIME-完整。 Zbl 1090.68047号 休伯特·科蒙;佛罗伦萨·杰克马尔 13 2003 编译和验证安全协议。 Zbl 0988.68562号 佛罗伦萨·杰克马尔;米歇尔·鲁西诺维奇;劳伦·维格纳龙 13 2000 泵送、清洁和符号约束求解。 Zbl 1418.68114号 卡隆、安妮·塞西尔;休伯特·科蒙;Coquidé,让-吕克;马克斯·多切特;佛罗伦萨·杰克马尔 11 1994 刚性树自动机及其应用。 兹比尔1217.68131 佛罗伦萨·杰克马尔;弗朗西斯·克莱;卡米尔·瓦彻 10 2011 平面TRS的汇流问题。 兹比尔1156.68433 一郎三桥;米奇奥·奥亚马古奇;佛罗伦萨·杰克马尔 10 2006 浅层方程理论扩展中的统一。 Zbl 0903.03008号 佛罗伦萨·杰克马尔;克里斯托夫·迈耶;克里斯托夫·韦登巴赫 9 1998 具有不合格约束的地面可约性和自动机。 Zbl 0941.68599号 休伯特·科蒙;佛罗伦萨·杰克马尔 8 1994 混合局部和全局约束模平面理论的树自动机的可判定类。 Zbl 1278.68130号 路易斯·巴尔古诺;卡莱斯·克鲁斯;吉勒姆·戈多伊;佛罗伦萨·杰克马尔;卡米尔·瓦彻 8 2013 具有内存、可见性和结构约束的树自动机。 Zbl 1195.68054号 休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林 8 2007 对于平面项重写系统,可达性和汇流性是不可确定的。 Zbl 1161.68502号 佛罗伦萨·杰克马尔 8 2003 带约束树自动机的自动归纳。 Zbl 1165.68452号 阿黛尔·布胡拉;佛罗伦萨·杰克马尔 7 2008 带有前缀上下文约束和自下而上策略的术语重写。 Zbl 1465.68121号 佛罗伦萨·杰克马尔;吉原小岛;Masahiko酒井 6 2015 刚性可达性。 Zbl 0928.03002号 哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 5 1998 具有等式约束的树自动机模方程理论。 Zbl 1137.68035号 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙 5 2008 条件和约束TRS的充分完整性验证。 Zbl 1279.68228号 阿黛尔·布胡拉;佛罗伦萨·杰克马尔 5 2012 具有等式约束的树自动机模方程理论。 Zbl 1222.03046号 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙 5 2006 \数据树、数据树自动机和分支向量加法系统上的(\mathsf{FO}^2(<,+1,\sim)\)。 Zbl 1448.68227号 佛罗伦萨·杰克马尔;卢克·塞古芬;杰雷米·迪米诺 4 2016 受控项重写。 Zbl 1348.68083号 佛罗伦萨·杰克马尔;吉原小岛;Masahiko酒井 4 2011 刚性树自动机。 Zbl 1234.68213号 佛罗伦萨·杰克马尔;弗朗西斯·克莱;卡米尔·瓦彻 4 2009 浅层TRS的唯一归一化。 兹比尔1242.68133 吉勒姆·戈多伊;佛罗伦萨·杰克马尔 三 2009 具有内存和约束的可视树自动机。 Zbl 1149.68045号 休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林 三 2008 通过模糊限制语改写关闭模糊限制语。 兹比尔1146.68039 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇 三 2008 同时刚性可达性的可判定碎片。 Zbl 0943.68096号 维罗尼克·科尔蒂尔;哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 2 1999 一个基于语法的框架,用于耦合节奏量化和分数结构。 Zbl 1456.00068号 弗朗西斯科·福斯卡林;佛罗伦萨·杰克马尔;菲利普·里戈;Masahiko酒井 2 2019 刚性可达性,刚性E-统一的非对称形式。 Zbl 1319.68127号 哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 2 2000 树自动机语言在最内层重写下的闭包。 Zbl 1294.68103号 阿德里亚·加斯科恩;吉勒姆·戈多伊;佛罗伦萨·杰克马尔 2 2009 重写关闭和CF对冲自动机。 Zbl 1377.68114号 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇 2 2013 单变量无上下文对冲自动机。 Zbl 1423.68256号 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇 1 2019 基于树表示和术语重写的节奏记谱结构理论。 Zbl 1320.00021号 佛罗伦萨·杰克马尔;皮埃尔·多纳特·布伊勒德;让·布列松 1 2015 针对离线字典攻击的概率加密协议安全性的决策程序。 Zbl 1107.68041号 斯特凡尼德劳恩;佛罗伦萨·杰克马尔 1 2006 一个基于语法的框架,用于耦合节奏量化和分数结构。 Zbl 1456.00068号 弗朗西斯科·福斯卡林;佛罗伦萨·杰克马尔;菲利普·里戈;Masahiko酒井 2 2019 单变量无上下文对冲自动机。 Zbl 1423.68256号 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇 1 2019 \数据树、数据树自动机和分支向量加法系统上的(\mathsf{FO}^2(<,+1,\sim)\)。 Zbl 1448.68227号 佛罗伦萨·杰克马尔;卢克·塞古芬;杰雷米·迪米诺 4 2016 带有前缀上下文约束和自下而上策略的术语重写。 Zbl 1465.68121号 佛罗伦萨·杰克马尔;吉原小岛;Masahiko酒井 6 2015 基于树表示和术语重写的节奏记谱结构理论。 Zbl 1320.00021号 佛罗伦萨·杰克马尔;皮埃尔·多纳特·布伊勒德;让·布列松 1 2015 混合局部和全局约束模平面理论的树自动机的可判定类。 Zbl 1278.68130号 路易斯·巴尔古诺;卡莱斯·克鲁斯;吉勒姆·戈多伊;佛罗伦萨·杰克马尔;卡米尔·瓦彻 8 2013 重写关闭和CF对冲自动机。 兹比尔1377.68114 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇 2 2013 条件和约束TRS的充分完整性验证。 Zbl 1279.68228号 阿黛尔·布胡拉;佛罗伦萨·杰克马尔 5 2012 刚性树自动机及其应用。 兹比尔1217.68131 佛罗伦萨·杰克马尔;弗朗西斯·克莱;卡米尔·瓦彻 10 2011 受控项重写。 Zbl 1348.68083号 佛罗伦萨·杰克马尔;吉原小岛;Masahiko酒井 4 2011 刚性树自动机。 Zbl 1234.68213号 佛罗伦萨·杰克马尔;弗朗西斯·克莱;卡米尔·瓦彻 4 2009 浅层TRS的唯一归一化。 Zbl 1242.68133号 吉勒姆·戈多伊;佛罗伦萨·杰克马尔 三 2009 树自动机语言在最内层重写下的闭包。 兹比尔1294.68103 阿德里亚·加斯科恩;吉勒姆·戈多伊;佛罗伦萨·杰克马尔 2 2009 带约束树自动机的自动归纳。 Zbl 1165.68452号 阿黛尔·布胡拉;佛罗伦萨·杰克马尔 7 2008 具有等式约束的树自动机模方程理论。 Zbl 1137.68035号 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙 5 2008 具有内存和约束的可视树自动机。 Zbl 1149.68045号 休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林 三 2008 通过模糊限制语改写关闭模糊限制语。 Zbl 1146.68039号 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇 三 2008 具有内存、可见性和结构约束的树自动机。 Zbl 1195.68054号 休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林 8 2007 平面TRS的汇流问题。 Zbl 1156.68433号 一郎三桥;米奇奥·奥亚马古奇;佛罗伦萨·杰克马尔 10 2006 具有等式约束的树自动机模方程理论。 Zbl 1222.03046号 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙 5 2006 针对离线字典攻击的概率加密协议安全性的决策程序。 Zbl 1107.68041号 斯特凡尼德劳恩;佛罗伦萨·杰克马尔 1 2006 接地还原性为EXPTIME-完整。 Zbl 1090.68047号 休伯特·科蒙;佛罗伦萨·杰克马尔 13 2003 对于平面项重写系统,可达性和汇流性是不可确定的。 Zbl 1161.68502号 佛罗伦萨·杰克马尔 8 2003 编译和验证安全协议。 Zbl 0988.68562号 佛罗伦萨·杰克马尔;米歇尔·鲁西诺维奇;劳伦·维格纳龙 13 2000 刚性可达性,刚性E-统一的非对称形式。 Zbl 1319.68127号 哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 2 2000 同时刚性可达性的可判定碎片。 Zbl 0943.68096号 维罗尼克·科尔蒂尔;哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 2 1999 浅层方程理论扩展中的统一。 Zbl 0903.03008号 佛罗伦萨·杰克马尔;克里斯托夫·迈耶;克里斯托夫·韦登巴赫 9 1998 刚性可达性。 Zbl 0928.03002号 哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯 5 1998 项重写系统的可判定近似。 兹比尔1503.68117 佛罗伦萨·杰克马尔 18 1996 泵送、清洁和符号约束求解。 Zbl 1418.68114号 卡隆、安妮·塞西尔;休伯特·科蒙;Jean-Luc Coquidé;道切特,马克斯;佛罗伦萨·杰克马尔 11 1994 具有不合格约束的地面可约性和自动机。 Zbl 0941.68599号 休伯特·科蒙;佛罗伦萨·杰克马尔 8 1994 所有引用出版物 前5名被引用出版物 全部的 前5名177位作者引用 12 佛罗伦萨·杰克马尔 8 吉勒姆·戈多伊 8 克里斯托夫·韦登巴赫 7 直纪西田 7 Masahiko酒井 5 苏菲·蒂森 4 托马斯·杰奈特 4 海姆,皮尔雷·科里尔 4 斯特凡·赫兹尔 4 小山口,美雄 4 米歇尔·鲁西诺维奇 4 Rakesh M.维尔玛。 4 卢卡·维甘诺 三 阿黛尔·布胡拉 三 卡莱斯·克鲁斯 三 塞巴斯蒂安·埃伯哈德 三 阿德里亚·加斯科恩 三 奥尔加·库什纳伦科 三 萨尔瓦多卢卡斯 三 何塞·梅塞盖尔·瓜伊塔 三 皮埃尔·雷蒂 三 Jean-Marc Talbot 三 瓦格伏尔盖,桑多尔 三 玛格斯·维纳斯 2 尼里娜·安德里亚纳里韦洛 2 David A.Basin。 2 尤罕·博伊库特 2 卡洛斯·卡莱罗 2 休伯特·科蒙 2 罗梅奥·库比斯 2 斯特凡尼德劳恩 2 艾琳·杜兰德。 2 艾曼纽·菲利奥特 2 高基町五指 2 哈拉尔德·甘辛格 2 让·古鲍特·拉雷克 2 Jean-Pierre Jouannaud 2 弗朗西斯·克莱 2 吉原小岛 2 史蒂夫·克莱默 2 帕特里克·兰德威尔 2 克里斯托夫·Löding 2 马库斯·洛伊 2 丹尼斯·卢吉兹 2 安德烈亚斯·马莱蒂 2 塞巴斯蒂安·马内思 2 塞巴斯蒂安·亚历山大·莫德谢姆 2 中村,Masaki 2 安德烈亚·特奥多拉·纳什 2 罗伯特·纽文胡斯 2 Kazuhiro绪方 2 小川,水井裕人 2 Kai T.Salomaa。 2 曼弗雷德·施密特·沙乌 2 阿什什·库马尔·蒂瓦里 2 马克·托马西 2 拉尔夫·特里宁 2 卡米尔·瓦彻 2 乌韦·沃尔德曼 1 塞尔吉奥·阿布里奥拉 1 奥马尔·阿穆萨 1 罗伯特·阿马迪奥(Roberto M.Amadio)。 1 高仁青藤 1 维亨·阿萨克 1 埃弗拉多·贝尔塞纳斯 1 詹保罗·贝拉 1 贝尼特斯·盖雷罗,埃德加德 1 马可·波扎诺 1 塞巴斯蒂安·布赖斯 1 Jochen Burghardt 1 泽维尔·尚特里 1 维托尔德·查拉托尼克 1 雪莲骑士 1 Yannick骑士 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 托马斯·希伦布兰德 1 平田洋一 …还有77位作者 全部的 前5名25篇连载文章中引用 14 理论计算机科学 13 信息与计算 11 信息处理信件 7 符号计算杂志 5 工程、通信和计算中的应用代数 5 程序设计中的逻辑和代数方法杂志 4 自动推理杂志 三 计算机与系统科学杂志 2 纯逻辑与应用逻辑年鉴 2 MSCS公司。计算机科学中的数学结构 2 国际计算机科学基础杂志 2 ACM计算逻辑事务 2 计算机科学中的数学 2 计算机科学中的逻辑方法 1 信息学报 1 人工智能 1 信息科学 1 SIAM计算机杂志 1 国际计算机数学杂志 1 系统设计中的形式化方法 1 计算系统理论 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 全部的 前5名在8个字段中引用 121 计算机科学(68至XX) 33 数学逻辑和基础(03-XX) 11 信息与通信理论、电路(94-XX) 三 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 群论与推广(20-XX) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 按年份列出的引文