Login / Signup
Abstract Fixpoint Computations with Numerical Acceleration Methods.
Olivier Bouissou
Yassamine Seladji
Alexandre Chapoutot
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
fixpoint
logic programs
deductive databases
high level
preprocessing
data integration
finite state machines