Proving Arrow's theorem by \texttt{PROLOG}
From MaRDI portal
Publication:2385186
DOI10.1007/s10614-007-9086-2zbMath1282.91008OpenAlexW2018647708MaRDI 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
Social choice (91B14) Software, source code, etc. for problems pertaining to game theory, economics, and finance (91-04) Welfare economics (91B15)
Uses Software
Cites Work
This page was built for publication: Proving Arrow's theorem by \texttt{PROLOG}