A Generalization of Approximation Fixpoint Theory and Application.

Yi Bi Jia-Huai You Zhiyong Feng

Published in: RR (2014)

Keyphrases

fixpoint
proof theoretic
database
logic programs
database systems
general purpose
finite state machines
difference equations
programming language
deductive databases