| | |
- 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 |
| 1 | Sami Khuri | [5] |
| 2 | V. S. Subrahmanian | [1] [2] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page