Author Info
Name
Affiliation
Papers
ANSHUMAN MOHAN
National University of Singapore, Singapore
2
Collaborators
Citations 
PageRank 
4
0
0.68
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
A functional proof pearl - inverting the Ackermann hierarchy.00.342020
Certifying graph-manipulating C programs via localizations within data structures00.342019