On the Desirability of Acyclic Database Schemes
- Catriel Beeri
- Ronald Fagin
- et al.
- 1983
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
6 results for Mihalis Yannakakis
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
Properties of acyclic database schemes
- Catriel Beeri
- Ronald Fagin
- et al.
- 1981
- STOC 1981
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