编辑配置文件（在新选项卡中打开） 贾斯珀，马克 合著者距离 作者ID： 碧玉马赛克 发布日期： 贾斯珀，马克 已编制索引的文档： 3出版物自2016年起 合著者： 3位合著者具有3联合出版物 56位合作作者 合著者 0 单作者的 三 Steffen，伯恩哈德 1 马尔特·伊斯伯纳 1 施吕特，马克西米利安 系列 1 信息学报 领域 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次3文件 引用人▼ 年份▼ Hennessy-Milner逻辑中的特征不变量。 Zbl 1443.68113号 贾斯珀，马克；施吕特，马克西米利安；Steffen，伯恩哈德 2 2020 玩抽象和表示。 兹比尔1474.68185 Steffen，伯恩哈德；马尔特·伊斯伯纳；贾斯珀，马克 1 2016 Hennessy-Milner逻辑中的特征不变量。 Zbl 1443.68113号 贾斯珀，马克；施吕特，马克西米利安；Steffen，伯恩哈德 2 2020 玩抽象和表示。 Zbl 1474.68185号 Steffen，伯恩哈德；马尔特·伊斯伯纳；贾斯珀，马克 1 2016 全部的 前5名6位作者引用 2 本杰明·比斯平 2 乌韦州内斯特曼 1 大卫·詹森（David N.Jansen）。 1 贾斯珀，马克 1 施吕特，马克西米利安 1 Steffen，伯恩哈德 2篇连载文章中引用 1 信息学报 1 计算机科学中的逻辑方法 在3个字段中引用 三 数学逻辑和基础（03-XX） 三 计算机科学（68至XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文