Logic Programming and Co-inductive Definitions

@inproceedings{Jaume2000LogicPA,
  title={Logic Programming and Co-inductive Definitions},
  author={Mathieu Jaume},
  booktitle={CSL},
  year={2000}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…