Travelled to:
1 × France
1 × USA
Collaborated with:
E.Y.Shapiro A.Kleinman A.Pnueli
Talks about:
logic (2) communic (1) variabl (1) program (1) direct (1) lexic (1)
Person: Yael Moscowitz
DBLP: Moscowitz:Yael
Contributed to:
Wrote 2 papers:
- ICLP-1991-MoscowitzS #logic programming #source code
- Lexical Logic Programs (YM, EYS), pp. 349–363.
- POPL-1991-KleinmanMPS #communication #logic
- Communication with Directed Logic Variables (AK, YM, AP, EYS), pp. 221–232.