Publications

11 results for Stavros S. Cosmadakis

On datalog vs polynomial time
- - Foto Afrati
  - Stavros S. Cosmadakis
  - et al.
- 1995
- Journal of Computer and System Sciences
Paper
Logical reducibility and monadic NP
- - Stavros S. Cosmadakis
- 1993
- FOCS 1993
Conference paper
On Datalog vs. polynomial time
- - Foto Afrati
  - Stavros S. Cosmadakis
  - et al.
- 1991
- SIGMOD/PODS/ 1991
Conference paper
Completeness for typed lazy inequalities
- - Stavros S. Cosmadakis
  - Albert R. Meyer
  - et al.
- 1990
- LICS 1990
Conference paper
Polynomial-Time Implication Problems for Unary Inclusion Dependencies
- - Stavros S. Cosmadakis
  - Paris C. Kanellakis
  - et al.
- 1990
- Journal of the ACM
Paper
Computing with recursive types
- - Stavros S. Cosmadakis
- 1989
- LICS 1989
Conference paper
Expressiveness of restricted recursive queries
- - Foto Afrati
  - Stavros S. Cosmadakis
- 1989
- STOC 1989
Conference paper
On the first-order expressibility of recursive queries
- - Stavros S. Cosmadakis
- 1989
- SIGMOD/PODS/ 1989
Conference paper
Decidable optimization problems for database logic programs
- - Stavros S. Cosmadakis
  - Paris C. Kanellakis
  - et al.
- 1988
- STOC 1988
Conference paper
The word and generator problems for lattices
- - Stavros S. Cosmadakis
- 1988
- Information and Computation
Paper