Paper Info
Title
Reasoning About Loops Using Vampire.
Year
Venue
Field
2015
Vampire Workshop
Cognitive science,Computer science,Vampire
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
3
2
Name
Order
Citations
PageRank
Laura Kovács149436.97
Simon Robillard202.03