Reference : Voting with Second Order Quantifier Elimination
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/26058
Voting with Second Order Quantifier Elimination
English
Gabbay, Dov M. [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Szalas, A. [> >]
2009
Studia Logica
Springer
92
3
365–379
Yes
0039-3215
1572-8730
Berlin
Germany
http://hdl.handle.net/10993/26058

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
file.pdfPublisher postprint4.25 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.