Author Info
Name
Affiliation
Papers
LUCAS PEÑA
University of Illinois at Urbana-Champaign, USA
2
Collaborators
Citations 
PageRank 
6
1
0.69
Referers 
Referees 
References 
3
63
31
Title
Citations
PageRank
Year
Towards a unified proof framework for automated fixpoint reasoning using matching logic00.342020
Foundations for natural proofs and quantifier instantiation10.352018