编辑配置文件(在新选项卡中打开) 纪尧姆·霍夫曼 合著者距离 作者ID: 霍夫曼·吉尔劳姆 发布日期: 纪尧姆·霍夫曼 已编制索引的文档: 17出版物自1973年以来 1名编辑贡献 合著者: 9合著者具有11联合出版物 102位合著者 全部的 前5名合著者 三 单作者的 11 卡洛斯·阿雷塞斯 8 劳尔·费尔瓦里 三 毛里西奥·马特尔 1 沃尔夫冈·阿尔特 1 帕特里克·布莱克本 1 瓦伦特·卡萨诺 1 巴勃罗·卡斯特罗。 1 亚历山大·丹尼斯 1 吉尔吉斯·埃列克斯 1 佩特尔·科姆贾斯 1 奥贝,埃齐基尔 1 德米特里·苏斯特列托夫 全部的 前5名系列 2 IGPL逻辑杂志 1 匈牙利数学周期 1 逻辑与计算杂志 1 自动化控制技术 1 应用逻辑杂志 1 生物数学课堂讲稿 全部的 前5名字段 15 数学逻辑和基础(03-XX) 6 计算机科学(68至XX) 2 组合数学(05-XX) 1 总体主题;集合(00-XX) 1 数值分析(65-XX) 1 运筹学、数学编程(90-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用54中的次26文件 引用人▼ 年份▼ 改变关系的模式操作符。 Zbl 1405.03047号 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼 17 2015 移动箭头和四个模型检查结果。 兹比尔1361.68131 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼 13 2012 交换逻辑。 Zbl 1342.03018号 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼 8 2014 关系变换逻辑的可满足性。 Zbl 1444.03040号 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼;毛里西奥·马特尔 5 2018 HTab:用于混合逻辑的终止表辅助系统。 Zbl 1347.68301号 纪尧姆·霍夫曼 4 2009 生物运动。1989年3月16日至19日在德国科尼格斯温特举行的研讨会记录。 Zbl 0734.92006号 4 1990 关系变换模态逻辑的不确定性。 兹比尔1499.03018 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼;毛里西奥·马特尔 2 2018 横向性质意味着性质B。 Zbl 0311.04002号 霍夫曼,G。;科姆贾思,P。 2 1976 关系变换模态逻辑表。 Zbl 1398.03085号 阿雷塞斯,卡洛斯;劳尔·费尔瓦里;纪尧姆·霍夫曼 2 2013 带计数的模态逻辑。 Zbl 1253.03040号 卡洛斯·阿雷塞斯;纪尧姆·霍夫曼;亚历山大·丹尼斯 1 2010 轻质混合表。 Zbl 1228.03004号 纪尧姆·霍夫曼 1 2010 关系变化逻辑是混合逻辑的碎片。 Zbl 1478.03032号 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼;毛里西奥·马特尔 1 2016 关系变换逻辑的可满足性。 Zbl 1444.03040号 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼;毛里西奥·马特尔 5 2018 关系变换模态逻辑的不确定性。 Zbl 1499.03018号 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼;毛里西奥·马特尔 2 2018 关系变化逻辑是混合逻辑的碎片。 Zbl 1478.03032号 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼;毛里西奥·马特尔 1 2016 改变关系的模式操作符。 Zbl 1405.03047号 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼 17 2015 交换逻辑。 Zbl 1342.03018号 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼 8 2014 用于改变关系的模态逻辑的Tableaux。 Zbl 1398.03085号 阿雷塞斯,卡洛斯;劳尔·费尔瓦里;纪尧姆·霍夫曼 2 2013 移动箭头和四个模型检查结果。 兹比尔1361.68131 卡洛斯·阿雷塞斯;劳尔·费尔瓦里;纪尧姆·霍夫曼 13 2012 带计数的模态逻辑。 Zbl 1253.03040号 卡洛斯·阿雷塞斯;纪尧姆·霍夫曼;亚历山大·丹尼斯 1 2010 轻质混合表。 Zbl 1228.03004号 纪尧姆·霍夫曼 1 2010 HTab:用于混合逻辑的终止表辅助系统。 Zbl 1347.68301号 纪尧姆·霍夫曼 4 2009 生物运动。1989年3月16日至19日在德国科尼格斯温特举行的研讨会记录。 Zbl 0734.92006号 4 1990 横向性质意味着性质B。 Zbl 0311.04002号 霍夫曼,G。;科姆贾思,P。 2 1976 所有引用出版物 前5名被引用出版物 全部的 前5名47位作者引用 7 劳尔·费尔瓦里 5 汉斯·皮特·范·迪特马什 4 卡洛斯·阿雷塞斯 三 李大竹 三 马丁斯(Manuel António Martins) 2 Ågotnes,托马斯 2 丹尼尔·拉特·菲格雷多 2 苏加塔·戈什 2 刘芬荣 2 阿莱西奥·曼苏蒂 2 佩德森,米娜·杨 2 弗朗索瓦州施瓦岑特鲁伯 2 涂亚欣 2 van Benthem,Johan F.A.K。 2 范德霍克,威比 1 纪尧姆拍卖行 1 亚历山大·巴尔塔格 1 巴博萨、路易斯·索亚雷斯 1 巴托斯·贝德纳西克 1 弗朗西斯科·贝拉迪内利 1 戴安娜·科斯塔 1 Stéphane P.德姆里。 1 何塞·M·法里亚。 1 鲁斯塔姆·加利姆林 1 大卫·格罗西 1 纪尧姆·霍夫曼 1 阿卡什侯赛因 1 马克·卡明斯基 1 巴特尔·皮特·库伊 1 汉斯·乌尔里希 1 Kuijer、Louwe Bouke 1 弗朗索瓦·拉鲁西尼 1 亚历山大·马德拉 1 毛里西奥·马特尔 1 巴斯蒂安·莫伯特 1 米尔泽夫斯基(Mierzewski,Krzysztof) 1 Motoura、Shota 1 伊泽基尔·奥贝 1 圣地亚哥,里贾万·H·努斯 1 斯特凡·舒尔茨 1 Smets,Sonja J.L。 1 格特·斯莫尔卡 1 弗朗西斯科·特鲁科 1 费尔南多·雷蒙多(Fernando Raymundo) 1 王燕京 1 弗朗西丝卡·扎福拉·布兰多 1 贝塔·齐利安尼 全部的 前5名11篇连载文章中引用 4 信息与计算 三 程序设计中的逻辑和代数方法杂志 2 应用非经典逻辑杂志 1 Studia Logica公司 1 合成 1 理论计算机科学 1 自动推理杂志 1 逻辑、语言与信息杂志 1 软计算 1 ACM计算逻辑事务 1 符号逻辑述评 在5个字段中引用 21 数学逻辑和基础(03-XX) 14 计算机科学(68至XX) 2 组合数学(05-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文