编辑配置文件（在新选项卡中打开） 瓦莱里越战通 合著者距离 作者ID： 维也纳-特里姆-汤格瓦莱里 发布日期： 越南首都的里雅那；瓦莱里越战通 已编制索引的文档： 2出版物自2001年起 合著者： 2合著者具有2联合出版物 17位合作作者 合著者 0 单作者的 2 托马斯·杰奈特 1 纪尧姆·费伊莱德 系列 1 自动推理杂志 领域 2 计算机科学（68至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用35中的次28文件 引用人▼ 年份▼ 术语重写系统的可达性分析。 Zbl 1075.68038号 纪尧姆·费伊莱德；杰内特，托马斯；瓦莱里越战通 21 2004 Timbuk术语重写系统的可达性分析。 Zbl 1275.68083号 托马斯·杰奈特；瓦莱里·托恩（Valérie Viet Triem Tong） 14 2001 术语重写系统的可达性分析。 Zbl 1075.68038号 纪尧姆·费伊莱德；托马斯·杰奈特；瓦莱里越战通 21 2004 Timbuk术语重写系统的可达性分析。 Zbl 1275.68083号 托马斯·杰奈特；瓦莱里·托恩（Valérie Viet Triem Tong） 14 2001 所有引用的出版物 前5名被引用出版物 全部的 前5名35位作者引用 7 托马斯·杰奈特 5 海姆，皮尔雷·科里尔 4 尤罕·博伊库特 4 瓦格伏尔盖，桑多尔 三 佛罗伦萨·杰克马尔 三 奥尔加·库什纳伦科 2 罗梅奥·库比斯 2 纪尧姆·费伊莱德 2 吉原小岛 2 何塞·梅塞盖尔·瓜伊塔 2 Masahiko酒井 2 Thati，普拉桑纳 1 艾米莉·巴拉德 1 艾哈迈德·博阿贾尼 1 圣地亚哥埃斯科瓦尔 1 伯特伦·费尔根豪尔 1 阿尔芬斯·盖瑟 1 迪特尔·霍夫鲍尔 1 Misaki小岛 1 安托万·迈耶 1 皮埃尔·埃蒂安·莫罗 1 直纪西田 1 亚历山大·拉比诺维奇 1 米歇尔·鲁西诺维奇 1 弗拉德·鲁苏 1 穆利·萨吉夫 1 三文鱼，Yann 1 米哈埃拉·西希雷亚努 1 雷内·蒂曼 1 泰瑟·图利 1 瓦莱里越战通 1 约翰内斯·沃尔德曼 1 Akihisa山田 1 格雷塔·约什 1 汉斯·赞特马 全部的 前5名10篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 三 信息处理信件 2 信息与计算 1 计算机与系统科学杂志 1 理论计算机科学 1 符号计算杂志 1 自动推理杂志 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 在3个字段中引用 28 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文