Analysing vote counting algorithms via logic. And its application to the CADE election scheme (Q4928434)

From MaRDI portal





scientific article; zbMATH DE number 6176205
Language Label Description Also known as
default for all languages
No label defined
    English
    Analysing vote counting algorithms via logic. And its application to the CADE election scheme
    scientific article; zbMATH DE number 6176205

      Statements

      Identifiers