See this document in CiteSeerX!

Logics with Aggregate Operators (1999)  (Make Corrections)  (24 citations)
Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong
Proc. of the 14th Symp. on Logic in Computer Science (LICS)



  Home/Search   Context   Related

 
View or download:
toronto.edu/~libkin...jacmlics99.ps.gz
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  toronto.edu/~libkin/publ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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