Voting with Second Order Quantifier Elimination

GABBAY, Dov M.; Szalas, A.

Télécharger

Article (Périodiques scientifiques)

Voting with Second Order Quantifier Elimination

GABBAY, Dov M.; Szalas, A.

2009 • In Studia Logica, 92 (3), p. 365–379

Peer reviewed

Permalien
https://hdl.handle.net/10993/26058

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

file.pdf

Postprint Éditeur (4.35 kB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Identifiants :

UNILU:UL-ARTICLE-2010-162

Auteur, co-auteur :

GABBAY, Dov M. ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Szalas, A.

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Voting with Second Order Quantifier Elimination

Date de publication/diffusion :

2009

Titre du périodique :

Studia Logica

ISSN :

0039-3215

eISSN :

1572-8730

Maison d'édition :

Springer, Berlin, Allemagne

Volume/Tome :

Fascicule/Saison :

Pagination :

365–379

Peer reviewed :

Peer reviewed

Disponible sur ORBilu :

depuis le 22 mars 2016

Statistiques

Nombre de vues

54 (dont 0 Unilu)

Nombre de téléchargements

24 (dont 0 Unilu)

Voir plus de statistiques