Semantical Equivalences of (Non-Classical) Logic Programs

@inproceedings{Batarekh1988SemanticalEO,
  title={Semantical Equivalences of (Non-Classical) Logic Programs},
  author={A{\"i}da Batarekh and V. S. Subrahmanian},
  booktitle={ICLP/SLP},
  year={1988}
}

Citations

Publications citing this paper.
Showing 1-4 of 4 extracted citations

Topology and the Semantics of Logic Programs

Anthony Karel SedaDepartment
1995
View 17 Excerpts
Highly Influenced

A Topological View of the Kowalski - Van Emden Theorem

Bulletin of the EATCS • 1994
View 8 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…