Joseph Y. Halpern, Ronald Fagin
Distributed Computing
Paper
Response to “Remarks on two new theorems of Date and Fagin”
Abstract
No abstract available.
Related
Ronald Fagin, Phokion G. Kolaitis, et al.
SEBD 2024
Conference paper
On the Number of Quantifiers Needed to Define Boolean Functions
Marco Carmosino, Ronald Fagin, et al.
MFCS 2024
Conference paper
File definition and logical data independence
C.J. Date, P. Hopewell
SIGFIDET 1971