Author Info
Name
Affiliation
Papers
PETRA HOZZOVÁ
TU Wien, Vienna, Austria
3
Collaborators
Citations 
PageRank 
7
0
1.01
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
Automated Generation of Exam Sheets for Automated Deduction00.342021
Integer Induction In Saturation00.342021
Inductive Benchmarks for Automated Reasoning00.342021