Operations on Fixpoint Equation Systems.

Thomas Neele Jaco van de Pol

Published in: CoRR (2023)

Keyphrases

fixpoint
finite state machines
logic programs
management system
distributed systems
expert systems
object oriented