Datalog vs first-order logic
- Miklos Ajtai
- Yuri Gurevich
- 1994
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
46 results for Miklós Ajtai
The influence of large coalitions
- Miklós Ajtai
- Nathan Linial
- 1993
- Combinatorica
Construction of a thin set with small fourier coefficients
- Miklos Ajtai
- Henryk Iwaniec
- et al.
- 1990
- Bulletin of the London Mathematical Society
First-order definability on finite structures
- Miklos Ajtai
- 1989
- Annals of Pure and Applied Logic
Optimal parallel selection has complexity O(Log Log N)
- Miklós Ajtai
- János Komlós
- et al.
- 1989
- Journal of Computer and System Sciences
A lower bound for finding predecessors in Yao's cell probe model
- Miklos Ajtai
- 1988
- Combinatorica