BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
2 × USA
Collaborated with:
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 DBLP: Batarekh:A=iuml=da

Contributed to:

ALP 19901990
NACLP 19891989
ICLP/SPL 19881988

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.