Login / Signup

Defining Winning Strategies in Fixed-Point Logic.

Felix CanavoiErich GrädelSimon LeßenichWied Pakusa
Published in: LICS (2015)
Keyphrases
  • fixed point
  • linear logic
  • sufficient conditions
  • floating point
  • variational inequalities
  • dynamical systems
  • fixed point theorem
  • constraint databases
  • reinforcement learning
  • logic programming
  • belief propagation