Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations.

Paolo Baldan Barbara König Tommaso Padoan

Published in: CoRR (2020)

Keyphrases

fixpoint
logic programs
finite state machines
database
deductive databases
difference equations
machine learning
high level
management system