Travelled to:1 × Israel
5 × USA
Collaborated with:E.Y.Shapiro ∅ M.Y.Vardi V.R.Pratt M.J.Maher S.S.Cosmadakis P.C.Kanellakis H.G.Mairson Y.Sagiv
Talks about:program (6) logic (6) semant (4) problem (2) databas (2) concurr (2) optim (2) constraint (1) behaviour (1) function (1)
Person: Haim Gaifman
DBLP: Gaifman:Haim
Contributed to:
1990
19891989
1989
19881987Wrote 7 papers:
- CLP-1990-Gaifman90 #logic programming #semantics #source code
- Semantics of Logic Programs (HG), pp. 779–782.
- LICS-1989-GaifmanS #logic programming #proving #semantics #source code
- Proof Theory and Semantics of Logic Programs (HG, EYS), pp. 50–62.
- NACLP-1989-GaifmanMS #behaviour #concurrent #constraints #logic programming #semantics #source code
- Reactive Behaviour Semantics for Concurrent Constraint Logic Programs (HG, MJM, EYS), pp. 553–569.
- POPL-1989-GaifmanS #composition #logic programming #semantics #source code
- Fully Abstract Compositional Semantics for Logic Programs (HG, EYS), pp. 134–142.
- STOC-1988-CosmadakisGKV #database #decidability #logic programming #optimisation #problem #source code
- Decidable Optimization Problems for Database Logic Programs (SSC, HG, PCK, MYV), pp. 477–490.
- LICS-1987-GaifmanMSV #database #decidability #logic programming #optimisation #problem #source code
- Undecidable Optimization Problems for Database Logic Programs (HG, HGM, YS, MYV), pp. 106–115.
- LICS-1987-GaifmanP #concurrent #modelling #partial order
- Partial Order Models of Concurrency and the Computation of Functions (HG, VRP), pp. 72–85.