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

佩特拉·霍佐娃

合著者距离
作者ID： 霍佐瓦·佩特拉最近由“Hozzova，Petra”撰写的zbMATH文章
发布日期： 佩特拉·霍佐娃
已编制索引的文档： 5出版物自2020年起
合著者： 6位合著者具有5联合出版物
132位合作作者
全部的 前5名

合著者

0 单作者的
5 科瓦奇，劳拉·伊尔迪科
4 安德烈·沃伦科夫
三 马尔顿哈杜
2 约翰·肖斯·沃尔（Johannes Schoisswohl）
1 雅各布·拉特
1 贾尔斯·里格尔

系列

领域

5 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）
1 数学教育（97-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

三出版物有被引用12次7文件 引用人▼ 年份▼
叠加推理中的归纳和泛化。 Zbl 1455.68248号
马尔顿哈杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫
8
2020
整数感应饱和。 Zbl 07437089号
佩特拉·霍佐娃;劳拉·科瓦奇;安德烈·沃伦科夫
三
2021
用于自动推理的归纳基准。 Zbl 1485.68281号
马尔顿哈伊杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫
1
2021
饱和状态下的整数诱导。 Zbl 07437089号
佩特拉·霍佐娃;劳拉·科瓦奇;安德烈·沃伦科夫
三
2021
自动推理的归纳基准。 Zbl 1485.68281号
马尔顿哈伊杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫
1
2021
叠加推理中的归纳和泛化。 Zbl 1455.68248号
马尔顿哈杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫
8
2020
所有引用出版物 前5名被引用出版物
全部的 前5名

12位作者引用

4 科瓦奇，劳拉·伊尔迪科
三 佩特拉·霍佐娃
三 安德烈·沃伦科夫
2 马尔顿哈杜
2 斯特凡·赫兹尔
2 贾尔斯·里格尔
2 扬尼克·维林
1 艾哈迈德·巴亚特
1 克莱门斯·艾森霍费尔
1 乔治乌，帕米娜
1 Yutaka长岛
1 约翰·肖斯·沃尔（Johannes Schoisswohl）

2篇连载文章中引用

1 理论计算机科学
1 纯逻辑与应用逻辑年鉴

在2个字段中引用

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

按年份列出的引文