Login / Signup
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment.
Jean Christoph Jung
Frank Wolter
Published in:
CoRR (2020)
Keyphrases
</>
databases
first order logic
computational geometry
expressive power