Voting with Second Order Quantifier Elimination

GABBAY, Dov M.; Szalas, A.

Download

Article (Scientific journals)

Voting with Second Order Quantifier Elimination

GABBAY, Dov M.; Szalas, A.

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

Peer reviewed

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

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

file.pdf

Publisher postprint (4.35 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Identifiers :

UNILU:UL-ARTICLE-2010-162

Author, co-author :

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

Szalas, A.

External co-authors :

yes

Language :

English

Title :

Voting with Second Order Quantifier Elimination

Publication date :

2009

Journal title :

Studia Logica

ISSN :

0039-3215

eISSN :

1572-8730

Publisher :

Springer, Berlin, Germany

Volume :

Issue :

Pages :

365–379

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 22 March 2016

Statistics

Number of views

53 (0 by Unilu)

Number of downloads

24 (0 by Unilu)

More statistics