On Nominal Syntax and Permutation Fixed Points.

Mauricio Ayala-Rincón Maribel Fernández Daniele Nantes-Sobrinho

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

Keyphrases

fixed point
sufficient conditions
initial conditions
temporal difference learning
dynamical systems
stationary points
linear logic
computer vision
belief propagation
image segmentation
free energy
asymptotic properties