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)