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

雅库布·里德瓦尔

合著者距离
作者ID： 里德瓦尔雅库布“Rydval，Jakub”最近发表的zbMATH文章
发布日期： 雅库布·里德瓦尔
已编制索引的文档： 7出版物自2020年起，包括1个附加arXiv预打印
合著者： 5位合著者具有6联合出版物
188位Co-Co作者

合著者

1 单作者的
三 弗兰兹·巴德
三 曼纽尔·博迪尔斯基
1 约翰内斯·格雷纳
1 维德州帕库萨
1 安德烈·施罗特洛赫

系列

1 自动推理杂志
1 离散数学和理论计算机科学。DMTCS公司
1 计算机科学中的逻辑方法

领域

5 计算机科学（68至XX）
三 数理逻辑与基础（03-XX）
2 一般代数系统（08-XX）

按年份列出的出版物

所有引用出版物 排名前五的出版物

zbMATH Open中包含的引文

4出版物有被引用16中的次9文件 引用人▼ 年份▼
轻量级描述逻辑中p-容许具体域的代数观点。 Zbl 07437042号
弗兰兹·巴德;雅库布·里德瓦尔
8
2021
定点逻辑中的时间约束满足问题。 Zbl 1498.08003号
曼纽尔·博迪尔斯基;维德州帕库萨;雅库布·里德瓦尔
三
2020
重新讨论了具有具体领域和一般概念包含的描述逻辑。 Zbl 07614526号
弗兰兹·巴德;雅库布·里德瓦尔
三
2020
使用模型理论寻找具有具体领域的可判定且易于处理的描述逻辑。 兹伯利07606343
弗兰兹·巴德;雅库布·里德瓦尔
2
2022
使用模型理论寻找具有具体领域的可判定且易于处理的描述逻辑。 Zbl 07606343号
弗兰兹·巴德;雅库布·里德瓦尔
2
2022
轻量级描述逻辑中p-容许具体域的代数观点。 Zbl 07437042号
弗兰兹·巴德;雅库布·里德瓦尔
8
2021
定点逻辑中的时间约束满足问题。 Zbl 1498.08003号
曼纽尔·博迪尔斯基;维德州帕库萨;雅库布·里德瓦尔
三
2020
重新讨论了具有具体领域和一般概念包含的描述逻辑。 Zbl 07614526号
弗兰兹·巴德;雅库布·里德瓦尔
三
2020
所有引用出版物 排名前五的出版物
全部的 前5名

14位作者引用

5 雅库布·里德瓦尔
4 曼纽尔·博迪尔斯基
三 弗兰兹·巴德
1 康拉德·卡齐米尔兹·达布罗夫斯基
1 Stéphane P.德姆里。
1 约翰内斯·格雷纳
1 彼得·琼森
1 西蒙·克努尔
1 塞巴斯蒂安·奥德尼亚克
1 乔治·奥西波夫
1 卡琳·夸斯
1 托马斯·奎因-格雷格森
1 安德烈·施罗特洛赫
1 弗洛里安·斯塔克

5篇连载文章中引用

1 人工智能
1 自动推理杂志
1 离散数学和理论计算机科学。DMTCS公司
1 数学逻辑杂志
1 计算机科学中的逻辑方法

在3个字段中引用

8 计算机科学（68至XX）
三 数理逻辑与基础（03-XX）
1 一般代数系统（08-XX）

按年份列出的引文