The Halting Problem for Deductive Synthesis of Logic Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund. The Halting Problem for Deductive Synthesis of Logic Programs. In ICLP. pages 665-683, 1994.

@inproceedings{LauOT94,
  title = {The Halting Problem for Deductive Synthesis of Logic Programs},
  author = {Kung-Kiu Lau and Mario Ornaghi and Sten-Åke Tärnlund},
  year = {1994},
  tags = {logic programming, logic},
  researchr = {https://researchr.org/publication/LauOT94},
  cites = {0},
  citedby = {0},
  pages = {665-683},
  booktitle = {ICLP},
}

runs on WebDSL