Login / Signup
The Query Complexity of Program Checking by Constant-Depth Circuits.
Vikraman Arvind
K. V. Subrahmanyam
N. V. Vinodchandran
Published in:
ISAAC (1999)
Keyphrases
</>
query complexity
data complexity
membership queries
active learning
response time
inductive logic programming
vc dimension