Login / Signup
Delta-Decidability over the Reals.
Sicun Gao
Jeremy Avigad
Edmund M. Clarke
Published in:
LICS (2012)
Keyphrases
</>
description logics
query answering
constraint databases
decision procedures
yangtze river
database
hidden markov models
transitive closure
data mining
computer vision
three dimensional
data management
linear constraints
type checking