Searching for "On the Expressive Power of Counting." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
On the Expressive Power of Counting
- …On the Expressive Power of Counting St'ephane Grumbach I.N.R.I.A. Rocquencourt BP 105 78153 Le…
- Cited by 7 (1 self) – Add To MetaCart
-
Logics with Counting, Auxiliary Relations, and Lower Bounds for Invariant Queries
- …@(email omitted); Abstract We study the expressive power of counting logics in the presence of auxiliary relations…
- Cited by 1 (1 self) – Add To MetaCart
-
Lower Bounds for Invariant Queries in Logics with Counting
- … study the expressive power of counting logics in the presence of auxiliary relations such as orders…
- Cited by 5 (2 self) – Add To MetaCart
-
Unary Quantifiers, Transitive Closure, and Relations of Large Degree
- …, all known results on the limitations of expressive power of the counting and unaryquanti er extensions…
- Cited by 8 (4 self) – Add To MetaCart
-
On Counting Logics and Local Properties
- …. There are relatively few results on the expressive power of counting logics, and most were proved very recently…
- Cited by 14 (8 self) – Add To MetaCart
-
Logics with Counting and Local Properties
- …Logics with Counting and Local Properties Leonid Libkin Bell Laboratories The expressive power…
- Cited by 9 (3 self) – Add To MetaCart
-
Counting and Locality over Finite Structures: a Survey
- … systematic study of the expressive power of counting properties from the viewpoint of finite model theory…
- Cited by 1 (0 self) – Add To MetaCart
-
Semantic Web Languages. Strengths and Weakness
- …+OIL and it is based on open world assumption (OWA). It is equipped with a rich expressive power and counts with a…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 8.
