编辑配置文件（在新选项卡中打开） 汤姆·恩格斯。 合著者距离 作者ID： 恩格斯·托曼 发布方式： 汤姆·恩格斯。 已编制索引的文档： 1出版物自2009年起 合著者： 3位合著者具有1联合出版物 109合著者 合著者 0 单作者的 1 Jan Friso，格鲁特 1 Van Weerdenburg，Muck J。 1 Tim A.C.Willemse。 系列 1 逻辑与代数程序设计杂志 领域 1 计算机科学（68至XX） 按年份列出的出版物