Simple Fixpoint Iteration To Solve Parity Games.

Tom van Dijk Bob Rubbens

Published in: GandALF (2019)

Keyphrases

fixpoint
logic programs
finite state machines
deductive databases
stable models
xml documents
horn clauses
datalog programs
general purpose