Login / Signup
Approximate Span Programs.
Tsuyoshi Ito
Stacey Jeffery
Published in:
ICALP (2016)
Keyphrases
</>
computer programs
real world
automatic programming
databases
data structure
exact solution
intermediate level
provably correct