On Guarded Recursion.

Éric Badouel Philippe Darondeau

Published in: Theor. Comput. Sci. (1991)

Keyphrases

complex objects
fixed point
query answering
deductive databases
datalog programs
tree decompositions
neural network
data mining
image segmentation
computational complexity
information retrieval
bayesian networks
constraint satisfaction problems
decision procedures
probabilistic databases