Kenneth L. Manders

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