Lipschitz Determinacy and Arithmetic Transfinite Recursion.

Andrés Cordón-Franco Francisco Félix Lara Martín Manuel J. S. Loureiro

Published in: CiE (2024)

Keyphrases

deductive databases
arithmetic operations
pointwise
floating point
complex objects
metric space
multi agent
search algorithm
query processing
data model
data management
transitive closure
datalog programs