Monotone versus Positive
- Miklos Ajtai
- Yuri Gurevich
- 1987
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
5 results for Yuri Gurevich
Solving 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
Datalog vs. first-order logic
- Miklos Ajtai
- Yuri Gurevich
- 1989
- FOCS 1989
Datalog vs first-order logic
- Miklos Ajtai
- Yuri Gurevich
- 1994
- Journal of Computer and System Sciences
A zero-one law for logic with a fixed-point operator
- Andreas Blass
- Yuri Gurevich
- et al.
- 1985
- Information and Control