Login / Signup

Order-Invariance of Two-Variable Logic is Decidable.

Thomas ZeumeFrederik Harwath
Published in: LICS (2016)
Keyphrases
  • case study
  • invariant properties
  • modal logic
  • information retrieval
  • genetic algorithm
  • artificial intelligence
  • website
  • database systems
  • multiscale