On Proving Limiting Completeness - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Peter D. Mosses, Gordon D. Plotkin. On Proving Limiting Completeness. SIAM Journal on Computing, 16(1):179-194, 1987.

@article{MossesP87,
  title = {On Proving Limiting Completeness},
  author = {Peter D. Mosses and Gordon D. Plotkin},
  year = {1987},
  tags = {completeness},
  researchr = {https://researchr.org/publication/MossesP87},
  cites = {0},
  citedby = {0},
  journal = {SIAM Journal on Computing},
  volume = {16},
  number = {1},
  pages = {179-194},
}

runs on WebDSL