Login / Signup
Addition-Invariant FO and Regularity.
Nicole Schweikardt
Luc Segoufin
Published in:
LICS (2010)
Keyphrases
</>
first order logic
databases
case study