Theories of real addition with and without a predicate for integers.

Alexis Bès Christian Choffrut

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

real life
database
real time
wide range
multiresolution
probabilistic model
theoretical framework
first order logic
floating point
formal models