Aïda Batarekh

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1991

5 Sami Khuri, Aïda Batarekh: A binary decision algorithm. Inf. Sci. 53(3): 251-270 (1991)

1990

4 Aïda Batarekh: Fixpoint Techniques for Non-Monotone Maps. ALP 1990: 132-143

1989

3 Aïda Batarekh: Convergence Issues and Fixed Points of Non-Monotone Maps. NACLP 1989: 257-273

2 Aïda Batarekh, V. S. Subrahmanian: The Query Topology in Logic Programming. STACS 1989: 375-387

1988

1 Aïda Batarekh, V. S. Subrahmanian: Semantical Equivalences of (Non-Classical) Logic Programs. ICLP/SLP 1988: 960-977

	1991
5		Sami Khuri, Aïda Batarekh: A binary decision algorithm. Inf. Sci. 53(3): 251-270 (1991)
	1990
4		Aïda Batarekh: Fixpoint Techniques for Non-Monotone Maps. ALP 1990: 132-143
	1989
3		Aïda Batarekh: Convergence Issues and Fixed Points of Non-Monotone Maps. NACLP 1989: 257-273
2		Aïda Batarekh, V. S. Subrahmanian: The Query Topology in Logic Programming. STACS 1989: 375-387
	1988
1		Aïda Batarekh, V. S. Subrahmanian: Semantical Equivalences of (Non-Classical) Logic Programs. ICLP/SLP 1988: 960-977

Coauthor Index

1 Sami Khuri [5]

2 V. S. Subrahmanian [1] [2]

Colors in the list of coauthors