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