Proceedings of the 4th Barcelona-Ulm Workshop on Probabilistic Complexity Classes and Nonuniform Computational Models

Barcelona, September 13-17, 1993

Organized by:

  • Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
  • Universität Ulm


  • Bounded queries to arbitrary sets 

    Lozano Boixadors, Antoni (1993)
    Conference report
    Open Access
    We prove that if pA[k) = pA[A:+l) for some k and an arbitrary set A, then A is reducible to its complement under a relativized nondeterministic conjunctive reduction. This result shows the first known property of arbitrary ...