The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier. The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable. In ILPS. pages 250-265, 1993.

@inproceedings{DevienneLR93:0,
  title = {The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable},
  author = {Philippe Devienne and Patrick Lebègue and Jean-Christophe Routier},
  year = {1993},
  researchr = {https://researchr.org/publication/DevienneLR93%3A0},
  cites = {0},
  citedby = {0},
  pages = {250-265},
  booktitle = {ILPS},
}

runs on WebDSL