Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
Help & FAQ
Home
Researchers
Organisations
Research output
Prizes
Student theses
Courses
Activities
Projects
Press/Media
Datasets
Equipment
Search by expertise, name or affiliation
Voting by eliminating quantifiers
Dov M. Gabbay, Andrzej Szałas
Department of Computer Science
King's College London
University of Warsaw
Linköping University
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Voting by eliminating quantifiers'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Social Choice
100%
Individual Preferences
50%
Voting Protocols
50%
Technical Tools
50%
Voting Theory
50%
First-order Formula
50%
Mathematical Theory
50%
Conflicting Preferences
50%
Voting Choice
50%
Second-order Quantifier Elimination
50%
Method of Use
50%
Computer Science
Quantifier Elimination
100%
Mathematical Theory
100%
Economics, Econometrics and Finance
Social Welfare Function
100%