Login / Signup
Sound up-to techniques and Complete abstract domains.
Filippo Bonchi
Pierre Ganty
Roberto Giacobazzi
Dusko Pavlovic
Published in:
CoRR (2018)
Keyphrases
</>
application domains
databases
real world
computational complexity
higher level
cross domain
complex domains