Datalog vs first-order logic
- Miklos Ajtai
- Yuri Gurevich
- 1994
- Journal of Computer and System Sciences
Paper
Publications
5 results for Yuri Gurevich
Datalog vs. first-order logic
- Miklos Ajtai
- Yuri Gurevich
- 1989
- FOCS 1989
Conference paperMonotone versus Positive
- Miklos Ajtai
- Yuri Gurevich
- 1987
- Journal of the ACM
PaperA zero-one law for logic with a fixed-point operator
- Andreas Blass
- Yuri Gurevich
- et al.
- 1985
- Information and Control
PaperSolving NP-Hard Problems on Graphs That Are Almost Trees and an Application to Facility Location Problems
- Yuri Gurevich
- Larry Stockmeyer
- et al.
- 1984
- Journal of the ACM
Paper