Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs.

Published in: GI Jahrestagung (1999)

Keyphrases

fixed point
ordered sets
functional programs
logic programs
sufficient conditions
dynamical systems
functional language
linear logic
belief propagation
computer vision
bayesian networks
dynamic programming
rough sets
concept lattice