R. S. Boyer - Concepedia

Author

R. S. Boyer

Also Known As

Boyer, Romain, R. S. Boyer, R.S. Boyer, Romain Boyer

Publications

288

Citations

H-Index

Concepts

All Affiliations

R. S. Boyer is an author at The University of Texas at Austin specializing in proof complexity.

#	Concept	H-Index	Publications	Citations
1	Proof Complexity	1	1	96

R. S. Boyer

Publications

270

Citations

H-Index

Page 1

	Year	Citations
Integrating decision procedures into heuristic theorem provers: a case study of linear arithmetic R. S. Boyer, J Strother Moore	1988	129
The Boyer-Moore theorem prover and its interactive enhancement R. S. Boyer, Matt Kaufmann, J Strother Moore Computers & Mathematics with Applications Automated ProofProof ComplexityInteractive EnhancementComputability Theory	1995	96
A Provably Secure Operating System. Peter G. Neumann, Luke Robinson, Karl Levitt, Defense Technical Information Center (DTIC)	1975	45

Page 1