Parallel Bounded Quantification - Preliminary Results - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Henrik Arro, Jonas Barklund, Johan Bevemyr. Parallel Bounded Quantification - Preliminary Results. SIGPLAN Notices, 28(8):117-124, 1993.

@article{ArroBB93,
  title = {Parallel Bounded Quantification - Preliminary Results},
  author = {Henrik Arro and Jonas Barklund and Johan Bevemyr},
  year = {1993},
  researchr = {https://researchr.org/publication/ArroBB93},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {28},
  number = {8},
  pages = {117-124},
}

runs on WebDSL