Proving Termination of GHC Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar. Proving Termination of GHC Programs. In ICLP. pages 720-736, 1993.

@inproceedings{RaoKS93,
  title = {Proving Termination of GHC Programs},
  author = {M. R. K. Krishna Rao and Deepak Kapur and R. K. Shyamasundar},
  year = {1993},
  tags = {termination},
  researchr = {https://researchr.org/publication/RaoKS93},
  cites = {0},
  citedby = {0},
  pages = {720-736},
  booktitle = {ICLP},
}

runs on WebDSL