Title :
Computational complexity of decision procedures for polynomials
Author :
Adleman, Leonard ; Manders, Kenneth
Keywords :
Computational complexity; Computer science; Encoding; Equations; Laboratories; Logic; Polynomials; Tin; Turing machines;
Conference_Titel :
Foundations of Computer Science, 1975., 16th Annual Symposium on
Conference_Location :
USA
DOI :
10.1109/SFCS.1975.9