scientific article
From MaRDI portal
Publication:2851841
zbMath1273.91148MaRDI QIDQ2851841
Publication date: 4 October 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Voting theory in the Lean theorem prover ⋮ Representing voting rules in Łukasiewicz’s three-valued logic ⋮ First-order logic formalisation of impossibility theorems in preference aggregation ⋮ Arrow's decisive coalitions ⋮ Graph aggregation ⋮ Preservation of semantic properties in collective argumentation: the case of aggregating abstract argumentation frameworks
This page was built for publication:
