Foreword

DOI10.1007/s11786-014-0178-9zbMath1301.00057OpenAlexW4231124400MaRDI QIDQ5891934

No author found.

Publication date: 26 November 2014

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-014-0178-9

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Uses Software

• Arrow Gibbard Satterthwaite

Cites Work

• Computer-aided proofs of Arrow's and other impossibility theorems
• Formalizing Arrow's theorem
• Three brief proofs of Arrow's impossibility theorem
• Social choice theory in HOL. Arrow and Gibbard-Satterthwaite
• Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects

This page was built for publication: Foreword