Decreasing the nesting depth of expressions involving square roots
- Allan Borodin
- Ronald Fagin
- et al.
- 1985
- Journal of Symbolic Computation
Publications
138 results for Ron Fagin
MODEL-THEORETIC ANALYSIS OF KNOWLEDGE: PRELIMINARY REPORT.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1983
- FOCS 1983
A model-theoretic analysis of knowledge: Preliminary report
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1984
- FOCS 1984
INTERNAL SEMANTICS FOR MODAL LOGIC: PRELIMINARY REPORT.
- Ronald Fagin
- Moshe Y. Vardi
- 1984
- STOC 1984
Inclusion dependencies and their interaction with functional dependencies
- Marco A. Casanova
- Ronald Fagin
- et al.
- 1984
- Journal of Computer and System Sciences
On the Structure of Armstrong Relations for Functional Dependencies
- Catriel Beeri
- Martin Dowd
- et al.
- 1984
- Journal of the ACM
Degrees of acyclicity for hypergraphs and relational database schemes
- 1983
- Journal of the ACM
On the Desirability of Acyclic Database Schemes
- Catriel Beeri
- Ronald Fagin
- et al.
- 1983
- Journal of the ACM
Armstrong databases for functional and inclusion dependencies
- Ronald Fagin
- Moshe Y. Vardi
- 1983
- Information Processing Letters
Horn Clauses and Database Dependencies
- 1982
- Journal of the ACM