Publications

6 results for Mihalis Yannakakis

On datalog vs polynomial time
- - Foto Afrati
  - Stavros S. Cosmadakis
  - et al.
- 1995
- Journal of Computer and System Sciences
Memory-efficient algorithms for the verification of temporal properties
- - C. Courcoubetis
  - Moshe Y. Vardi
  - et al.
- 1992
- Formal Methods in System Design
On Datalog vs. polynomial time
- - Foto Afrati
  - Stavros S. Cosmadakis
  - et al.
- 1991
- SIGMOD/PODS/ 1991
On monotone formulae with restricted depth (preliminary version)
- - Maria Klawe
  - Wolfgang J. Paul
  - et al.
- 1984
- STOC 1984
On the Desirability of Acyclic Database Schemes
- - Catriel Beeri
  - Ronald Fagin
  - et al.
- 1983
- Journal of the ACM
Properties of acyclic database schemes
- - Catriel Beeri
  - Ronald Fagin
  - et al.
- 1981
- STOC 1981