Paper Info
Title
Arrow and Gibbard-Satterthwaite.
Year
Venue
Keywords
2008
Archive of Formal Proofs
proof
DocType
Volume
Citations 
Journal
2008
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
Tobias Nipkow13056232.28