| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Harry Buhrman, Matthias Christandl, Christian Schaffner |
Complete Insecurity of Quantum Protocols for Classical Two-Party Computation  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Serge Fehr, Christian Schaffner, Florian Speelman |
The Garden-Hose Game: A New Model of Computation, and Application to Position-Based Quantum Cryptography  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Peter T. S. van der Gulik, Steven Kelk, Wouter M. Koolen, Leen Stougie |
Some Mathematical Refinements Concerning Error Minimization in the Genetic Code.  |
IEEE/ACM Trans. Comput. Biology Bioinform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Serge Fehr, Christian Schaffner |
Position-Based Quantum Cryptography.  |
ERCIM News  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Nishanth Chandran, Serge Fehr, Ran Gelles, Vipul Goyal, Rafail Ostrovsky, Christian Schaffner |
Position-Based Quantum Cryptography: Impossibility and Constructions.  |
CRYPTO  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Oded Regev, Giannicola Scarpa, Ronald de Wolf |
Near-Optimal and Explicit Bell Inequality Violations.  |
IEEE Conference on Computational Complexity  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, David García-Soriano, Arie Matsliah |
Learning parities in the mistake-bound model.  |
Inf. Process. Lett.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Leen Torenvliet, Falk Unger, Nikolai K. Vereshchagin |
Sparse Selfreducible Sets and Nonuniform Lower Bounds.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Scott Aaronson, Baris Aydinlioglu, Harry Buhrman, John M. Hitchcock, Dieter van Melkebeek |
A note on exponential circuit lower bounds from derandomizing Arthur-Merlin games.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Nishanth Chandran, Serge Fehr, Ran Gelles, Vipul Goyal, Rafail Ostrovsky, Christian Schaffner |
Position-Based Quantum Cryptography: Impossibility and Constructions.  |
IACR Cryptology ePrint Archive  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Nishanth Chandran, Serge Fehr, Ran Gelles, Vipul Goyal, Rafail Ostrovsky, Christian Schaffner |
Position-Based Quantum Cryptography: Impossibility and Constructions  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Benjamin J. Hescott, Steven Homer, Leen Torenvliet |
Non-Uniform Reductions.  |
Theory Comput. Syst.  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Michal Koucký, John D. Rogers, Nikolai K. Vereshchagin |
Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible?  |
Theory Comput. Syst.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Michal Koucký, Bruno Loff |
Derandomizing from Random Strings.  |
IEEE Conference on Computational Complexity  |
2010 |
DBLP DOI BibTeX RDF |
Truth-table Reducibility, Kolmogorov Complexity, Derandomization |
| 1 | Harry Buhrman, Lance Fortnow, Rahul Santhanam |
Unconditional Lower Bounds against Advice.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, David García-Soriano, Arie Matsliah |
Learning parities in the mistake-bound model.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Michal Koucký, Bruno Loff |
Derandomizing from Random Strings  |
CoRR  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Rahul Santhanam |
Unconditional Lower Bounds against Advice.  |
ICALP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, John M. Hitchcock |
NP-Hard Sets are Exponentially Dense Unless NP is contained in coNP/poly.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman |
Foreword.  |
J. Comput. Syst. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Ilan Newman, Hein Röhrig |
Quantum Property Testing.  |
SIAM J. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manindra Agrawal, Harry Buhrman, Lance Fortnow, Thomas Thierauf (eds.) |
Algebraic Methods in Computational Complexity, 07.10. - 12.10.2007  |
Algebraic Methods in Computational Complexity  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Michal Koucký, Nikolai K. Vereshchagin |
Randomised Individual Communication Complexity.  |
IEEE Conference on Computational Complexity  |
2008 |
DBLP DOI BibTeX RDF |
individual communication complexity, Kolmogorov complexity, rounds, randomized protocols |
| 1 | Harry Buhrman, John M. Hitchcock |
NP-Hard Sets Are Exponentially Dense Unless coNP C NP/poly.  |
IEEE Conference on Computational Complexity  |
2008 |
DBLP DOI BibTeX RDF |
hard sets, polynomial advice, instance complexity |
| 1 | Harry Buhrman, Ilan Newman, Hein Röhrig, Ronald de Wolf |
Robust Polynomials and Quantum Algorithms.  |
Theory Comput. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bram Vermeer, Harry Buhrman |
Quantum Information Processing.  |
ERCIM News  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Hartmut Klauck, Nikolai K. Vereshchagin, Paul M. B. Vitányi |
Individual communication complexity.  |
J. Comput. Syst. Sci.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Michal Koucký, John D. Rogers, Nikolai K. Vereshchagin |
Inverting Onto Functions and Polynomial Hierarchy.  |
CSR  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manindra Agrawal, Harry Buhrman, Lance Fortnow, Thomas Thierauf |
07411 Abstracts Collection -- Algebraic Methods in Computational Complexity.  |
Algebraic Methods in Computational Complexity  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manindra Agrawal, Harry Buhrman, Lance Fortnow, Thomas Thierauf |
07411 Executive Summary -- Algebraic Methods in Computational Complexity.  |
Algebraic Methods in Computational Complexity  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nikolai K. Vereshchagin, Harry Buhrman, Matthias Christandl, Michal Koucký, Zvi Lotker, Boaz Patt-Shamir |
High Entropy Random Selection Protocols.  |
Algebraic Methods in Computational Complexity  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman |
On Computation and Communication with Small Bias.  |
SAGA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Matthias Christandl, Michal Koucký, Zvi Lotker, Boaz Patt-Shamir, Nikolai K. Vereshchagin |
High Entropy Random Selection Protocols.  |
APPROX-RANDOM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Nikolai K. Vereshchagin, Ronald de Wolf |
On Computation and Communication with Small Bias.  |
IEEE Conference on Computational Complexity  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Michal Koucký, John D. Rogers, Nikolai K. Vereshchagin |
Inverting onto functions might not be hard.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Richard Beigel, Harry Buhrman, Peter A. Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrej Muchnik, Frank Stephan, Leen Torenvliet |
Enumerations of the Kolmogorov function.  |
J. Symb. Log.  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Eric Allender, Harry Buhrman, Michal Koucký |
What can be efficiently reduced to the Kolmogorov-random strings?  |
Ann. Pure Appl. Logic  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Alessandro Panconesi, Riccardo Silvestri, Paul M. B. Vitányi |
On the importance of having an identity or, is consensus really universal?.  |
Distributed Computing  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allender, Harry Buhrman, Michal Koucký, Dieter van Melkebeek, Detlef Ronneburger |
Power from Random Strings.  |
SIAM J. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Robert Spalek |
Quantum verification of matrix products.  |
SODA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Leen Torenvliet, Falk Unger |
Sparse Selfreducible Sets and Polynomial Size Circuit Lower Bounds.  |
STACS  |
2006 |
DBLP DOI BibTeX RDF |
Selfreducibility, Computational Complexity, Sparseness |
| 1 | Harry Buhrman, Richard Cleve, Monique Laurent, Noah Linden, Alexander Schrijver, Falk Unger |
New Limits on Fault-Tolerant Quantum Computation.  |
FOCS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Troy Lee, Dieter van Melkebeek |
Language compression and pseudorandom generators.  |
Computational Complexity  |
2005 |
DBLP DOI BibTeX RDF |
Subject classification, 68P30 |
| 1 | Harry Buhrman, Leen Torenvliet |
A Post's Program for Complexity Theory.  |
Bulletin of the EATCS  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Aduri Pavan |
Some Results on Derandomization.  |
Theory Comput. Syst.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Christoph Dürr, Mark Heiligman, Peter Høyer, Frédéric Magniez, Miklos Santha, Ronald de Wolf |
Quantum Algorithms for Element Distinctness.  |
SIAM J. Comput.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Ilan Newman, Nikolai K. Vereshchagin |
Increasing Kolmogorov Complexity.  |
STACS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Ilan Newman, Hein Röhrig, Ronald de Wolf |
Robust Polynomials and Quantum Algorithms.  |
STACS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Thomas Thierauf (eds.) |
Algebraic Methods in Computational Complexity, 10.-15. October 2004  |
Algebraic Methods in Computational Complexity  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman |
Quantum Computing.  |
CiE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Ilan Newman, Nikolai K. Vereshchagin |
Increasing Kolmogorov Complexity  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Troy Lee, Dieter van Melkebeek, Harry Buhrman |
Language Compression and Pseudorandom Generators  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Richard Beigel, Harry Buhrman, Peter A. Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrei A. Muchnik, Frank Stephan, Leen Torenvliet |
Enumerations of the Kolmogorov Function  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Eric Allender, Harry Buhrman, Michal Koucký |
What Can be Efficiently Reduced to the Kolmogorov-Random Strings?  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Hartmut Klauck, Nikolai K. Vereshchagin, Paul M. B. Vitányi |
Individual Communication Complexity: Extended Abstract.  |
STACS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allender, Harry Buhrman, Michal Koucký |
What Can be Efficiently Reduced to the K-Random Strings?  |
STACS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Thomas Thierauf |
04421 Abstracts Collection - Algebraic Methods in Computational Complexity.  |
Algebraic Methods in Computational Complexity  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andris Ambainis, Harry Buhrman, Yevgeniy Dodis, Hein Röhrig |
Multiparty Quantum Coin Flipping.  |
IEEE Conference on Computational Complexity  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Troy Lee, Dieter van Melkebeek |
Language Compression and Pseudorandom Generators.  |
IEEE Conference on Computational Complexity  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Leen Torenvliet |
Separating Complexity Classes Using Structural Properties.  |
IEEE Conference on Computational Complexity  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Ronald de Wolf |
Quantum zero-error algorithms cannot be composed.  |
Inf. Process. Lett.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andris Ambainis, Harry Buhrman, Yevgeniy Dodis, Hein Röhrig |
Multiparty Quantum Coin Flipping  |
CoRR  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Ilan Newman, Hein Röhrig, Ronald de Wolf |
Robust Quantum Algorithms and Polynomials  |
CoRR  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Hartmut Klauck, Nikolai K. Vereshchagin, Paul M. B. Vitányi |
Individual Communication Complexity  |
CoRR  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Ilan Newman, Hein Röhrig |
Quantum property testing.  |
SODA  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Hein Röhrig |
Distributed Quantum Computing.  |
MFCS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Richard Chang, Lance Fortnow |
One Bit of Advice.  |
STACS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Aduri Pavan |
Some Results on Derandomization.  |
STACS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allender, Harry Buhrman, Michal Koucký, Detlef Ronneburger, Dieter van Melkebeek |
Power from Random Strings  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Ronald de Wolf |
Complexity measures and decision tree complexity: a survey.  |
Theor. Comput. Sci.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Ronald de Wolf |
Quantum Zero-Error Algorithms Cannot be Composed  |
CoRR  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Alessandro Panconesi, Riccardo Silvestri, Paul M. B. Vitányi |
On the Importance of Having an Identity or, is Consensus really Universal?  |
CoRR  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Peter Bro Miltersen, Jaikumar Radhakrishnan, Srinivasan Venkatesh |
Are Bitvectors Optimal?  |
SIAM J. Comput.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Allender, Harry Buhrman, Michal Koucký, Dieter van Melkebeek, Detlef Ronneburger |
Power from Random Strings.  |
FOCS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andris Ambainis, Harry Buhrman, William I. Gasarch, Bala Kalyanasundaram, Leen Torenvliet |
The Communication Complexity of Enumeration, Elimination, and Selection  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Robert Beals, Harry Buhrman, Richard Cleve, Michele Mosca, Ronald de Wolf |
Quantum lower bounds by polynomials.  |
J. ACM  |
2001 |
DBLP DOI BibTeX RDF |
polynomial method, lower bounds, Quantum computing, query complexity, black-box model |
| 1 | Harry Buhrman, Stephen A. Fenner, Lance Fortnow, Leen Torenvliet |
Two oracles that force a big crunch.  |
Computational Complexity  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, John Tromp, Paul M. B. Vitányi |
Time and Space Bounds for Reversible Simulation  |
CoRR  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andris Ambainis, Harry Buhrman, William I. Gasarch, Bala Kalyanasundaram, Leen Torenvliet |
The Communication Complexity of Enumeration, Elimination, and Selection.  |
J. Comput. Syst. Sci.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Luc Longpré |
Compressibility and Resource Bounded Measure.  |
SIAM J. Comput.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Sophie Laplante |
Resource-Bounded Kolmogorov Complexity Revisited.  |
SIAM J. Comput.  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman |
Quantum Computing and Communication Complexity.  |
Current Trends in Theoretical Computer Science  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, John Tromp, Paul M. B. Vitányi |
Time and Space Bounds for Reversible Simulation.  |
ICALP  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Ronald de Wolf |
Communication Complexity Lower Bounds by Polynomials. (PDF / PS)  |
IEEE Conference on Computational Complexity  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Christoph Dürr, Mark Heiligman, Peter Høyer, Frédéric Magniez, Miklos Santha, Ronald de Wolf |
Quantum Algorithms for Element Distinctness. (PDF / PS)  |
IEEE Conference on Computational Complexity  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Tao Jiang, Ming Li, Paul M. B. Vitányi |
New applications of the incompressibility method: Part II.  |
Theor. Comput. Sci.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman |
Quantum Computing and Communication Complexity.  |
Bulletin of the EATCS  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Leen Torenvliet |
Randomness is Hard.  |
SIAM J. Comput.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Dieter van Melkebeek, Kenneth W. Regan, D. Sivakumar, Martin Strauss |
A Generalization of Resource-Bounded Measure, with Application to the BPP vs. EXP Problem.  |
SIAM J. Comput.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Lance Fortnow, Dieter van Melkebeek, Leen Torenvliet |
Separating Complexity Classes Using Autoreducibility.  |
SIAM J. Comput.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Richard Cleve, Wim van Dam |
Quantum Entanglement and Communication Complexity.  |
SIAM J. Comput.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Stephen A. Fenner, Lance Fortnow, Dieter van Melkebeek |
Optimal Proof Systems and Sparse Sets.  |
STACS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Alessandro Panconesi, Riccardo Silvestri, Paul M. B. Vitányi |
On the Importance of Having an Identity or is Consensus Really Universal?  |
DISC  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Sophie Laplante, Peter Bro Miltersen |
New Bounds for the Language Compression Problem. (PDF / PS)  |
IEEE Conference on Computational Complexity  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andris Ambainis, Harry Buhrman, William I. Gasarch, Bala Kalyanasundaram, Leen Torenvliet |
The Communication Complexity of Enumeration, Elimination, and Selection. (PDF / PS)  |
IEEE Conference on Computational Complexity  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Peter Bro Miltersen, Jaikumar Radhakrishnan, Srinivasan Venkatesh |
Are bitvectors optimal?  |
STOC  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Ronald de Wolf |
A Lower Bound for Quantum Search of an Ordered List.  |
Inf. Process. Lett.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Buhrman, Matthew K. Franklin, Juan A. Garay, Jaap-Henk Hoepman, John Tromp, Paul M. B. Vitányi |
Mutual Search.  |
J. ACM  |
1999 |
DBLP DOI BibTeX RDF |
coalition forming, datastructures, mutual search, computational complexity, distributed computation, computer networks, discrete algorithms |
| 1 | Harry Buhrman, Richard Cleve, Ronald de Wolf, Christof Zalka |
Bounds for Small-Error and Zero-Error Quantum Algorithms  |
CoRR  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Matthew K. Franklin, Juan A. Garay, Jaap-Henk Hoepman, John Tromp, Paul M. B. Vitányi |
Mutual Search  |
CoRR  |
1999 |
DBLP BibTeX RDF |
|