Paper Info
Title
ML4PG: proof-mining in Coq
Year
Venue
DocType
2013
CoRR
Journal
Volume
Citations 
PageRank 
abs/1302.6421
1
0.36
References 
Authors
0
2
Name
Order
Citations
PageRank
Jónathan Heras19423.31
Ekaterina Komendantskaya215022.66