Paper Info
Title
System Description: Abella -- A System for Reasoning about Computations
Year
Venue
Field
2008
Clinical Orthopaedics and Related Research
Programming language,Computer science,Computation
DocType
Volume
Citations 
Journal
abs/0803.2
2
PageRank 
References 
Authors
0.39
4
1
Name
Order
Citations
PageRank
Andrew Gacek125216.87