Model theory makes formulas large
Asıl Yazarlar: | Dawar, A, Grohe, M, Kreutzer, S, Schweikardt, N |
---|---|
Materyal Türü: | Conference item |
Baskı/Yayın Bilgisi: |
2007
|
Benzer Materyaller
-
The Expressive Power of Two−Variable Least Fixed−Point Logics
Yazar:: Grohe, M, ve diğerleri
Baskı/Yayın Bilgisi: (2005) -
Locally Excluding a Minor
Yazar:: Dawar, A, ve diğerleri
Baskı/Yayın Bilgisi: (2007) -
Logik und Informatik
Yazar:: Kreutzer, S, ve diğerleri
Baskı/Yayın Bilgisi: (2004) -
The succinctness of first-order logic on linear orders
Yazar:: Martin Grohe, ve diğerleri
Baskı/Yayın Bilgisi: (2005-06-01) -
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
Yazar:: Frederik Harwath, ve diğerleri
Baskı/Yayın Bilgisi: (2017-04-01)