Simple Programs Realize Exactly Presberger Formulas - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

John C. Cherniavsky. Simple Programs Realize Exactly Presberger Formulas. SIAM Journal on Computing, 5(4):666-677, 1976.

@article{Cherniavsky76,
  title = {Simple Programs Realize Exactly Presberger Formulas},
  author = {John C. Cherniavsky},
  year = {1976},
  tags = {C++},
  researchr = {https://researchr.org/publication/Cherniavsky76},
  cites = {0},
  citedby = {0},
  journal = {SIAM Journal on Computing},
  volume = {5},
  number = {4},
  pages = {666-677},
}

runs on WebDSL