Logic Programs as Types for Logic Programs

  title={Logic Programs as Types for Logic Programs},
  author={Thom W. Fr{\"u}hwirth and Ehud Shapiro and Moshe Y. Vardi and Eyal Yardeni},
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…