×
编辑配置文件（在新选项卡中打开）

詹斯·佩格尔

合著者距离
作者ID： 佩吉·詹斯“Pagel，Jens”最近发表的zbMATH文章
发布日期： 詹斯·佩格尔
已编制索引的文档： 2出版物自2021年起
合著者： 2合著者具有2联合出版物
53位合作作者

合著者

0 单作者的
2 弗洛里安·祖勒格
1 克里斯托夫·马提亚

系列

1 ACM计算逻辑事务

领域

2 数学逻辑和基础（03-XX）
1 计算机科学（68至XX）

按年份列出的出版物

zbMATH Open中包含的引文

2出版物有被引用4中的次4文件 引用人▼ 年份▼
保护分离逻辑的一种决策过程，用归纳定义完成分离逻辑的蕴涵检查。 Zbl 07650597号
克里斯托夫·马提亚；詹斯·佩格尔；弗洛里安·祖勒格
三
2023
强大的分离逻辑。 Zbl 1473.03015号
詹斯·佩格尔；弗洛里安·祖勒格
1
2021
保护分离逻辑的一种决策过程，用归纳定义完成分离逻辑的蕴涵检查。 Zbl 07650597号
克里斯托夫·马提亚；詹斯·佩格尔；弗洛里安·祖勒格
三
2023
强大的分离逻辑。 Zbl 1473.03015号
詹斯·佩格尔；弗洛里安·祖勒格
1
2021
全部的 前5名

被13位作者引用

1 凯文·巴茨
1 穆纳乔·埃切宁
1 伊拉·费塞费尔特
1 马文·詹森
1 Joost-Pieter卡托恩
1 弗洛里安·科勒
1 Le，Quang Loc公司
1 Le，Xuan-Bach D。
1 克里斯托夫·马提亚
1 诺尔，托马斯
1 詹斯·佩格尔
1 尼古拉斯·佩尔蒂埃
1 弗洛里安·祖勒格

连载1篇

1 自动推理杂志

在2个字段中引用

三 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）

按年份列出的引文