Order-Invariance of Two-Variable Logic is Decidable.

Thomas Zeume Frederik Harwath

Published in: LICS (2016)

Keyphrases

case study
invariant properties
modal logic
information retrieval
genetic algorithm
artificial intelligence
website
database systems
multiscale