Travelled to:1 × France
2 × USA
Collaborated with:∅ V.S.Subrahmanian
Talks about:non (3) monoton (2) map (2) techniqu (1) fixpoint (1) program (1) equival (1) converg (1) classic (1) semant (1)
Person: Aïda Batarekh
DBLP: Batarekh:A=iuml=da
Contributed to:
1990
19891988Wrote 3 papers:
- ALP-1990-Batarekh #fixpoint
- Fixpoint Techniques for Non-Monotone Maps (AB), pp. 132–143.
- NACLP-1989-Batarekh #convergence #fixpoint
- Convergence Issues and Fixed Points of Non-Monotone Maps (AB), pp. 257–273.
- JICSCP-1988-BatarekhS88 #logic programming #semantics #source code
- Semantical Equivalences of (Non-Classical) Logic Programs (AB, VSS), pp. 960–977.