Logic Programs as Types for Logic Programs

@inproceedings{Frhwirth1991LogicPA,
  title={Logic Programs as Types for Logic Programs},
  author={Thom W. Fr{\"u}hwirth and Ehud Shapiro and Moshe Y. Vardi and Eyal Yardeni},
  booktitle={LICS},
  year={1991}
}
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…