On the expressive power of datalog: Tools and a case study
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1995
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
83 results for Phokion G. Kolaitis
Infinitary logics and 0-1 laws
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1992
- Information and Computation
0-1 Laws and decision problems for fragments of second-order logic
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1990
- Information and Computation