On Warren s Method for Functional Programming in Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards. On Warren s Method for Functional Programming in Logic. In ICLP. pages 546-560, 1990.

@inproceedings{ChengER90,
  title = {On Warren s Method for Functional Programming in Logic},
  author = {Mantis H. M. Cheng and Maarten H. van Emden and B. E. Richards},
  year = {1990},
  tags = {functional programming, logic programming, programming, logic},
  researchr = {https://researchr.org/publication/ChengER90},
  cites = {0},
  citedby = {0},
  pages = {546-560},
  booktitle = {ICLP},
}

runs on WebDSL