Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Yves Moinard. Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes). In ICLP/SLP. pages 1097-1105, 1988.

@inproceedings{Moinard88:0,
  title = {Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes)},
  author = {Yves Moinard},
  year = {1988},
  researchr = {https://researchr.org/publication/Moinard88%3A0},
  cites = {0},
  citedby = {0},
  pages = {1097-1105},
  booktitle = {ICLP/SLP},
}

runs on WebDSL