Proving Theorems with the Modification Method

@article{Brand1975ProvingTW,
  title={Proving Theorems with the Modification Method},
  author={Daniel Brand},
  journal={SIAM J. Comput.},
  year={1975},
  volume={4},
  pages={412-430}
}
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Figures and tables from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 102 extracted citations

Similar Papers

Loading similar papers…