编辑配置文件（在新选项卡中打开） 本杰明·利昂 合著者距离 作者ID： 莱昂·本杰明 发布日期： 本杰明·利昂 已编制索引的文档： 4出版物自2021年起 合著者： 7合著者具有4联合出版物 297位合作作者 全部的 前5名合著者 0 单作者的 2 阿巴布，法哈德 2 卡罗琳·塔尔科特。 1 马塞洛·玛丽亚·邦桑格 1 Dokter，Kasper公司 1 冯辉 1 法比奥·加杜奇 1 弗朗西斯科·桑蒂尼 系列 4 程序设计中的逻辑和代数方法杂志 领域 4 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用2中的次2文件 引用人▼ 年份▼ 带记忆的软约束自动机。 Zbl 1455.68087号 Dokter，Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 2 2021 带记忆的软约束自动机。 Zbl 1455.68087号 Dokter，Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 2 2021 2位作者引用 2 法比奥·加杜奇 2 弗朗西斯科·桑蒂尼 连载1篇 1 信息处理信件 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文