Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.

Florian Bruse Marco Sälzer Martin Lange

Published in: MFCS (2021)

Keyphrases

real numbers
finite sets
logic programs
deductive databases
information systems
finite number
fixpoint
faster convergence
evolutionary algorithm
convergence rate
nonmonotonic reasoning
finite dimensional
finite automata
algebraic structure