Model theory makes formulas large

類似資料

• The Expressive Power of Two−Variable Least Fixed−Point Logics
  著者:: Grohe, M, 等
  出版事項: (2005)
• Locally Excluding a Minor
  著者:: Dawar, A, 等
  出版事項: (2007)
• Logik und Informatik
  著者:: Kreutzer, S, 等
  出版事項: (2004)
• The succinctness of first-order logic on linear orders
  著者:: Martin Grohe, 等
  出版事項: (2005-06-01)
• On the locality of arb-invariant first-order formulas with modulo counting quantifiers
  著者:: Frederik Harwath, 等
  出版事項: (2017-04-01)