A Decision Procedure for the First Order Theory of Real Addition with Order - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jeanne Ferrante, Charles Rackoff. A Decision Procedure for the First Order Theory of Real Addition with Order. SIAM Journal on Computing, 4(1):69-76, 1975.

@article{FerranteR75,
  title = {A Decision Procedure for the First Order Theory of Real Addition with Order},
  author = {Jeanne Ferrante and Charles Rackoff},
  year = {1975},
  researchr = {https://researchr.org/publication/FerranteR75},
  cites = {0},
  citedby = {0},
  journal = {SIAM Journal on Computing},
  volume = {4},
  number = {1},
  pages = {69-76},
}

runs on WebDSL