Login / Signup
Guarded Quantification in Least Fixed Point Logic.
Gregory L. McColm
Published in:
J. Log. Lang. Inf. (2004)
Keyphrases
</>
fixed point
linear logic
dynamical systems
sufficient conditions
floating point
belief propagation
modal logic
logic programming
constraint databases
fixed point theorem
image sequences
least squares
default logic
policy iteration