Media type: E-Book Title: The complexity of generating and checking proofs of membership Contributor: Buhrman, Harry [Author]; Thierauf, Thomas [Author] imprint: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010 Published in: Ulmer Informatik-Berichte ; 95,03 Extent: Online-Ressource Language: English Identifier: RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: Computational complexity ; Berechnungskomplexität ; NP-hartes Problem Origination: Footnote: Access State: Open Access