Login / Signup
Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting.
Moritz Lichter
Published in:
ICALP (2023)
Keyphrases
</>
fixed point
linear logic
sufficient conditions
dynamical systems
belief propagation
logic programming
floating point
modal logic
classical logic
fixed point theorem
policy iteration
computer vision
graphical models
logic programs
constraint databases