A Decision Procedure for the First Order Theory of Real Addition with Order

@article{Ferrante1975ADP,
  title={A Decision Procedure for the First Order Theory of Real Addition with Order},
  author={Jeanne Ferrante and Charles Rackoff},
  journal={SIAM J. Comput.},
  year={1975},
  volume={4},
  pages={69-76}
}
Highly Influential
This paper has highly influenced 20 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…