Autor der Publikation

More on the relative strength of counting principles.

, und . Proof Complexity and Feasible Arithmetics, Volume 39 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 13-35. DIMACS/AMS, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Strong Direct Product Theorem for Corruption and the Multiparty Communication Complexity of Disjointness., , , und . Comput. Complex., 15 (4): 391-432 (2006)Optimizing symbolic model checking for statecharts, , , , , und . Software Engineering, IEEE Transactions on, 27 (2): 170--190 (2001)Counting of Query Expressions: Limitations of Propositional Methods., , , und . ICDT, Seite 177-188. OpenProceedings.org, (2014)Massively-Parallel Similarity Join, Edge-Isoperimetry, and Distance Correlations on the Hypercube., und . CoRR, (2016)Optimal bounds for decision problems on the CRCW PRAM., und . J. ACM, 36 (3): 643-670 (1989)More on the relative strength of counting principles., und . Proof Complexity and Feasible Arithmetics, Volume 39 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 13-35. DIMACS/AMS, (1996)A General Sequential Time-Space Tradeoff for Finding Unique Elements. STOC, Seite 197-203. ACM, (1989)A Time-Space Tradeoff for Undirected Graph Traversal by Walking Automata., , , , und . SIAM J. Comput., 28 (3): 1051-1072 (1999)Time-space tradeoffs, multiparty communication complexity, and nearest-neighbor problems., und . STOC, Seite 688-697. ACM, (2002)Optimal Bounds for the Predecessor Problem., und . STOC, Seite 295-304. ACM, (1999)