Relation Algebra and RelView Applied to Approval Voting

DOI10.1007/978-3-319-06251-8_19zbMath1405.68456OpenAlexW22041357MaRDI QIDQ5410492

Rudolf Berghammer, Nikita Danilenko, Henning Schnoor

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_19

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Voting theory (91B12) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Solving hard control problems in voting systems via integer programming

Uses Software

• RelView

This page was built for publication: Relation Algebra and RelView Applied to Approval Voting