Login / Signup

Addition-Invariant FO and Regularity.

Nicole SchweikardtLuc Segoufin
Published in: LICS (2010)
Keyphrases
  • first order logic
  • databases
  • case study