Author Info
Name
Papers
Collaborators
ANDREA CONDOLUCI
2
5
Citations 
PageRank 
Referers 
0
0.68
0
Referees 
References 
10
4
Title
Citations
PageRank
Year
Relational Data Across Mathematical Libraries.00.342019
CERES in Propositional Proof Schemata.00.342017