Login / Signup
The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable.
Marco Voigt
Published in:
CoRR (2017)
Keyphrases
</>
automata theoretic
datalog programs
first order logic
constraint satisfaction
temporal logic
datalog queries
neural network
constraint programming
constrained optimization
transitive closure
database
expressive power
global constraints
guarded fragment