Operations on Fixpoint Equation Systems.

Thomas Neele Jaco van de Pol

Published in: Log. Methods Comput. Sci. (2024)

Keyphrases

fixpoint
finite state machines
deductive databases
logic programs
artificial intelligence
preprocessing
distributed systems
database
knowledge base
expert systems
expressive power
recursive queries
fixpoint semantics