Negation as Failure in Intuitionistic Logic Programming

@inproceedings{Giordano1992NegationAF,
  title={Negation as Failure in Intuitionistic Logic Programming},
  author={Laura Giordano and Nicola Olivetti},
  booktitle={JICSLP},
  year={1992}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…