On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming

Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo. On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Volume 702 of Lecture Notes in Computer Science, pages 216-230, Springer, 1992.

@inproceedings{Gonzalez-MorenoHR92,
  title = {On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming},
  author = {Juan Carlos González Moreno and Maria Teresa Hortalá-González and Mario Rodríguez-Artalejo},
  year = {1992},
  tags = {semantics, completeness, functional programming, logic programming, programming, operational semantics, logic},
  researchr = {https://researchr.org/publication/Gonzalez-MorenoHR92},
  cites = {0},
  citedby = {0},
  pages = {216-230},
  booktitle = {Computer Science Logic, 6th Workshop, CSL  92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers},
  editor = {Egon Börger and Gerhard Jäger and Hans Kleine Büning and Simone Martini and Michael M. Richter},
  volume = {702},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56992-8},
}