Cited By
View all- Nieva SSánchez-Hernández JSáenz-Pérez F(2008)Formalizing a constraint deductive database language based on hereditary Harrop formulas with negationProceedings of the 9th international conference on Functional and logic programming10.5555/1788446.1788476(289-304)Online publication date: 14-Apr-2008
- Nieva SSánchez-Hernández JSáenz-Pérez F(2008)Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with NegationFunctional and Logic Programming10.1007/978-3-540-78969-7_21(289-304)Online publication date: 2008
- Lipton JNieva S(2007)Higher-order logic programming languages with constraintsProceedings of the 8th international conference on Typed lambda calculi and applications10.5555/1770203.1770223(272-289)Online publication date: 26-Jun-2007
- Show More Cited By