Login / Signup
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