Sequential Formula Translation (Reprint) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Klaus Samelson, Friedrich L. Bauer. Sequential Formula Translation (Reprint). Communications of the ACM, 26(1):9-13, 1983.

@article{SamelsonB83,
  title = {Sequential Formula Translation (Reprint)},
  author = {Klaus Samelson and Friedrich L. Bauer},
  year = {1983},
  tags = {translation},
  researchr = {https://researchr.org/publication/SamelsonB83},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {26},
  number = {1},
  pages = {9-13},
}

runs on WebDSL