Fix Point Approach to the Theory of Computation.

Zohar Manna Jean Vuillemin

Published in: Commun. ACM (1972)

Keyphrases

fixpoint
deductive databases
logic programs
theoretical framework
difference equations
artificial intelligence
knowledge base
probabilistic model
answer sets
linear algebra