Proof Methods of Declarative Properties of Definite Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Pierre Deransart. Proof Methods of Declarative Properties of Definite Programs. Theoretical Computer Science, 118(2):99-166, 1993.

@article{Deransart93,
  title = {Proof Methods of Declarative Properties of Definite Programs},
  author = {Pierre Deransart},
  year = {1993},
  researchr = {https://researchr.org/publication/Deransart93},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {118},
  number = {2},
  pages = {99-166},
}

runs on WebDSL