mediaTUM
Universitätsbibliothek
Technische Universität München
Benutzer: Gast
Login
de
en
mediaTUM Gesamtbestand
Hochschulbibliographie
2024
(4099)
2023
(7785)
2022
(8707)
2021
(8941)
2020
(8201)
2019
(8884)
2018
(8712)
Fakultäten
(7984)
Integrated Research Centers
(481)
Institute for Advanced Study (IAS)
(378)
Munich Center for Technology in Society (MCTS)
(72)
Munich School of Bioengineering (MSB)
(14)
Munich School of Engineering
(17)
Zentrale Einrichtungen
(249)
2017
(8707)
2016
(8840)
2015
(8228)
2014
(7148)
2013
(6758)
2012
(5783)
2011
(5565)
2010
(5430)
2009
(4599)
2008
(4112)
1989 - 2007
Elektronische Prüfungsarbeiten
Open Access Publikationen
Forschungsdaten
TUM.University Press
Sammlungen
Projekte
Einrichtungen
mediaTUM Gesamtbestand
Hochschulbibliographie
2018
Integrated Research Centers
Institute for Advanced Study (IAS)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Titel:
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Brandl, Florian; Brandt, Felix; Eberl, Manuel; Geist, Christian
Zeitschriftentitel:
Journal of the ACM
Jahr:
2018
Band / Volume:
65
Heft / Issue:
2
Seitenangaben Beitrag:
1-28
Volltext / DOI:
doi:10.1145/3125642
Verlag / Institution:
Association for Computing Machinery (ACM)
E-ISSN:
0004-5411
Publikationsdatum:
31.01.2018
BibTeX
Vorkommen:
mediaTUM Gesamtbestand
Einrichtungen
Forschungszentren
Institute for Advanced Study (IAS)
Research Areas
Research Area: Communication and Information
Alumni Focus Groups
Focus Group: Information, Interaction and Mechanism Design
mediaTUM Gesamtbestand
Hochschulbibliographie
2018
Integrated Research Centers
Institute for Advanced Study (IAS)