(Enter summary)
Abstract: this paper, a very nice result of [28] showed that the infinitary logic
with finitely many variables, L (Update)
Similar documents based on text: More All
1.3: Logics with Aggregate Operators - Lauri Hella University
(Correct)
0.9: Notions of Locality and Their Logical Characterizations.. - Hella, Libkin, al. (1997)
(Correct)
0.7: Logics Capturing Local Properties - Libkin (2001)
(Correct)
BibTeX entry: (Update)
L. Hella, L. Libkin, J. Nurmonen and L. Wong. Logics with aggregate operators. In LICS'99, to appear. http://citeseer.ist.psu.edu/article/hella99logics.html More
@inproceedings{ hella99logics,
author = "Lauri Hella and Leonid Libkin and Juha Nurmonen and Limsoon Wong",
title = "Logics with aggregate operators",
booktitle = "Proc. of the 14th Symp. on Logic in Computer Science ({LICS})",
publisher = "IEEE Press",
address = "Trento, Italy",
pages = "35--44",
year = "1999",
url = "citeseer.ist.psu.edu/article/hella99logics.html" }
Citations (may not include all citations):
981
Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988
775
Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
379
The complexity of relational query languages (context) - Vardi - 1982
294
Finite Model Theory (context) - Ebbinghaus, Flum - 1995
245
Relational queries computable in polynomial time
- Immerman - 1986
211
Languages that capture complexity classes
- Immerman - 1987
116
On uniformity within NC
- Barrington, Immerman et al. - 1990
116
On local and non-local properties (context) - Gaifman - 1982
110
Descriptive Complexity (context) - Immerman - 1999
106
Equivalence of relational algebra and relational calculus qu.. (context) - Klug - 1982
98
On optimal lower bound on the number of variables for graph ..
- Cai, Furer et al. - 1992
93
Principles of programming with complex objects and collectio..
- Buneman, Naqvi et al. - 1995
66
Describing graphs: A first order approach to graph canonizat..
- Immerman, Lander - 1990
61
Monotonic aggregation in deductive databases
- Ross, Sagiv - 1992
60
Normal forms and conservative properties for query languages..
- Wong - 1996
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.toronto.edu/~libkin/publ.html): More
Expressive Power of SQL - Libkin (2001)
(Correct)
Logics Capturing Local Properties - Libkin (2001)
(Correct)
Lower Bounds for Invariant Queries in Logics with Counting - Libkin, Wong (2002)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC