Model theory makes formulas large

Míreanna comhchosúla

• The Expressive Power of Two−Variable Least Fixed−Point Logics
  de réir: Grohe, M, et al.
  Foilsithe / Cruthaithe: (2005)
• Locally Excluding a Minor
  de réir: Dawar, A, et al.
  Foilsithe / Cruthaithe: (2007)
• Logik und Informatik
  de réir: Kreutzer, S, et al.
  Foilsithe / Cruthaithe: (2004)
• The succinctness of first-order logic on linear orders
  de réir: Martin Grohe, et al.
  Foilsithe / Cruthaithe: (2005-06-01)
• On the locality of arb-invariant first-order formulas with modulo counting quantifiers
  de réir: Frederik Harwath, et al.
  Foilsithe / Cruthaithe: (2017-04-01)