Statistics
Publications
31
Citations
2.1K
H-Index
20
Active since
1964
Haim Gaifman is an author at Hebrew University of Jerusalem specializing in computer science, mathematics, and computing.
Publications per year
1964–2017
31
31
Dependency systems and phrase-structure systems
Haim Gaifman · Information and Control · 1965 · 390 citations
Concerning measures in first order calculi
Haim Gaifman · Israel Journal of Mathematics · 1964 · 284 citations
Decidable optimization problems for database logic programs
Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis et al. · 1988 · 154 citations · Full text
Haim Gaifman · The Journal of Philosophy · 1992 · 93 citations
1–5 of 31