编辑配置文件（在新选项卡中打开） 克里斯蒂安·佩塞博伊斯 合著者距离 作者ID： 基督波斯比斯 发布日期： 克里斯蒂安·佩塞博伊斯 已编制索引的文档： 1出版物自2019年起 合著者： 2合著者具有1联合出版物 合著者 0 单作者的 1 阿曼尼·马赫洛夫 1 Tran、Hanh Nhi 系列 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ 关于图形转换程序的两级推理。 Zbl 1429.68043号 阿曼尼·马赫洛夫；克里斯蒂安·佩塞博伊斯；Tran、Hanh Nhi 三 2019 关于图形转换程序的两级推理。 Zbl 1429.68043号 Amani马克鲁夫；克里斯蒂安·佩塞博伊斯；Tran、Hanh Nhi 三 2019 5位作者引用 2 克里斯托弗·波斯基特（Christopher M.Poskitt）。 1 达科斯塔·卡瓦莱罗，西蒙·安德烈 1 卢西亚娜·福斯 1 丰满，细节 1 莱拉·里贝罗 2篇连载文章中引用 1 理论计算机科学 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文