dblp.uni-trier.dewww.uni-trier.de

Aïda Batarekh Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1991
5EESami Khuri, Aïda Batarekh: A binary decision algorithm. Inf. Sci. 53(3): 251-270 (1991)
1990
4EEAï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
2EEAï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

1Sami Khuri [5]
2V. S. Subrahmanian [1] [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)