Reynold and Heyling Models of Logic Programs

@inproceedings{Kemp1994ReynoldAH,
  title={Reynold and Heyling Models of Logic Programs},
  author={R. S. Kemp and Graem A. Ringwood},
  booktitle={ICLP Workshop: Proof-Theoretical Extensions on Logic Programming},
  year={1994}
}

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…