Archive of Formal Proofs, 2150-914X

Journal

Publications

  1. 2015
  2. Published

    VCG - Combinatorial Vickrey-Clarke-Groves Auctions

    Marco Caminati, Manfred Kerber, Christoph Lange-Bever & Colin Rowat, 30 Apr 2015, In : Archive of Formal Proofs. p. 1-134 134 p., 2015-04-30.

    Research output: Contribution to journalArticle