编辑配置文件（在新选项卡中打开） 托比亚斯·普雷恩 合著者距离 作者ID： 普雷恩·托比亚斯 发布日期： 托比亚斯·普雷恩 已编制索引的文档： 3出版物自2017年起 合著者： 2合著者具有3联合出版物 3位合作作者 合著者 0 单作者的 2 斯蒂芬·门尼克 1 梅隆·罗特 系列 1 程序设计中的逻辑和代数方法杂志 领域 三 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用2次2文件 引用人▼ 年份▼ 保持公平：对等和组合。 兹比尔1431.68077 斯蒂芬·门尼克;托比亚斯·普雷恩 1 2019 保持公平：对等。 Zbl 1433.68259号 托比亚斯·普雷恩;斯蒂芬·门尼克 1 2017 保持公平：对等和组合。 Zbl 1431.68077号 Stephan门尼克;托比亚斯·普雷恩 1 2019 保持公平：对等。 Zbl 1433.68259号 托比亚斯·普雷恩;斯蒂芬·门尼克 1 2017 全部的 前5名6位作者引用 1 马西莫·巴托莱蒂 1 劳拉·博奇 1 卢多维奇·亨利奥 1 索菲亚·奈特 1 斯蒂芬·门尼克 1 托比亚斯·普雷恩 连载1篇 2 程序设计中的逻辑和代数方法杂志 在2个字段中引用 2 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文