Proving Arrow's theorem by \texttt{PROLOG}
From MaRDI portal
Publication:2385186
DOI10.1007/s10614-007-9086-2zbMath1282.91008MaRDI QIDQ2385186
Publication date: 11 October 2007
Published in: Computational Economics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10614-007-9086-2
91B14: Social choice
91-04: Software, source code, etc. for problems pertaining to game theory, economics, and finance
91B15: Welfare economics
Uses Software
Cites Work