Constraint Logic Programming with Hereditary Harrop Formulas - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo. Constraint Logic Programming with Hereditary Harrop Formulas. In ILPS. pages 307-321, 1997.

@inproceedings{LeachNR97,
  title = {Constraint Logic Programming with Hereditary Harrop Formulas},
  author = {Javier Leach and Susana Nieva and Mario Rodríguez-Artalejo},
  year = {1997},
  tags = {constraints, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/LeachNR97},
  cites = {0},
  citedby = {0},
  pages = {307-321},
  booktitle = {ILPS},
}

runs on WebDSL