Kenneth L. Manders

Publication Activity (10 Years)

Years Active: 1975-1987
Publications (10 Years): 0

Publications

Kenneth L. Manders
On Algebraic Geometry Over Rings with Exponentiation. Math. Log. Q. 33 (4) (1987)
Kenneth L. Manders
Logic and conceptual relationships in mathematics. Logic Colloquium (1985)
Kenneth L. Manders, Robert R. Daley
The Complexity of the Validity Problem for Dynamic Logic Inf. Control. 54 (1/2) (1982)
Kenneth L. Manders
Theories With the Existential Substructure Property. Math. Log. Q. 26 (1-6) (1980)
Leonard M. Adleman, Kenneth L. Manders
Reductions that Lie FOCS (1979)
Kenneth L. Manders
The Theory of all Substructures of a Structure: Characterisation and Decision Problems. J. Symb. Log. 44 (4) (1979)
Kenneth L. Manders, Leonard M. Adleman
NP-Complete Decision Problems for Binary Quadratics. J. Comput. Syst. Sci. 16 (2) (1978)
Leonard M. Adleman, Kenneth L. Manders, Gary L. Miller
On Taking Roots in Finite Fields FOCS (1977)
Leonard M. Adleman, Kenneth L. Manders
Reducibility, Randomness, and Intractability (Abstract) STOC (1977)
Kenneth L. Manders
The impact of complexity theory on algorithms for sparse polynomials. SIGSAM Bull. 11 (1) (1977)
Kenneth L. Manders, Leonard M. Adleman
NP-Complete Decision Problems for Quadratic Polynomials STOC (1976)
Leonard M. Adleman, Kenneth L. Manders
Diophantine Complexity FOCS (1976)
Leonard M. Adleman, Kenneth L. Manders
Computational Complexity of Decision Procedures for Polynomials (Extended Abstract) FOCS (1975)