Strong Nominal Semantics for Fixed-Point Constraints.

Ali K. Caires-Santos Maribel Fernández Daniele Nantes-Sobrinho

Published in: CoRR (2024)

Keyphrases

fixed point
stationary points
sufficient conditions
floating point
dynamical systems
bargaining solution
variational inequalities
constraint databases
closure operator
fixed point theorem
belief propagation
logical properties
least squares
logic programming