Login / Signup
Order-Invariance in the Two-Variable Fragment of First-Order Logic.
Julien Grange
Published in:
CSL (2023)
Keyphrases
</>
artificial intelligence
three dimensional
databases
computer vision
knowledge base
query processing