编辑配置文件（在新选项卡中打开） 迈克尔·马尔马 合著者距离 作者ID： marmar.michael公司 发布日期： 迈克尔·马尔马 已编制索引的文档： 1出版物自2013年以来 合著者： 2合著者具有1联合出版物 58位合作作者 合著者 0 单作者的 1 詹·菲利普·霍夫曼 1 邵，钟 系列 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用4中的次4文件 引用人▼ 年份▼ 证明锁自由的定量推理。 Zbl 1366.68171号 简·霍夫曼；迈克尔·马尔马；邵，钟 4 2013 证明锁自由的定量推理。 Zbl 1366.68171号 简·霍夫曼；迈克尔·马尔马；邵，钟 4 2013 全部的 前5名11位作者引用 1 亚瑟·查古埃罗 1 佩德罗·达罗查·平托 1 托马斯·丁斯代尔·扬 1 菲利普·安·加德纳 1 罗伯特·哈珀 1 詹·菲利普·霍夫曼 1 斯特芬·乔斯特 1 荣格，拉尔夫 1 弗朗索瓦·波蒂埃 1 朱利安·萨瑟兰 1 约瑟夫·塔萨罗蒂 2篇连载文章中引用 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 在2个字段中引用 4 数学逻辑和基础（03-XX） 4 计算机科学（68至XX） 按年份列出的引文