Kenneth L. Manders

According to our database, Kenneth L. Manders authored at least 13 papers between 1975 and 1987.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1987

On Algebraic Geometry Over Rings with Exponentiation.

Kenneth L. Manders

Math. Log. Q., 1987

1985

Logic and conceptual relationships in mathematics.

Kenneth L. Manders

Proceedings of the Logic Colloquium '85, Orsay, France, 1985

1982

The Complexity of the Validity Problem for Dynamic Logic

Kenneth L. Manders, Robert R. Daley

Inf. Control., 1982

1980

Theories With the Existential Substructure Property.

Kenneth L. Manders

Math. Log. Q., 1980

1979

The Theory of all Substructures of a Structure: Characterisation and Decision Problems.

Kenneth L. Manders

J. Symb. Log., 1979

Reductions that Lie

Leonard M. Adleman, Kenneth L. Manders

Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979

1978

NP-Complete Decision Problems for Binary Quadratics.

Kenneth L. Manders, Leonard M. Adleman

J. Comput. Syst. Sci., 1978

1977

The impact of complexity theory on algorithms for sparse polynomials.

Kenneth L. Manders

SIGSAM Bull., 1977

Reducibility, Randomness, and Intractability (Abstract)

Leonard M. Adleman, Kenneth L. Manders

Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977

On Taking Roots in Finite Fields

Leonard M. Adleman, Kenneth L. Manders, Gary L. Miller

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977

1976

NP-Complete Decision Problems for Quadratic Polynomials

Kenneth L. Manders, Leonard M. Adleman

Proceedings of the 8th Annual ACM Symposium on Theory of Computing, 1976

Diophantine Complexity

Leonard M. Adleman, Kenneth L. Manders

Proceedings of the 17th Annual Symposium on Foundations of Computer Science, 1976

1975

Computational Complexity of Decision Procedures for Polynomials (Extended Abstract)

Leonard M. Adleman, Kenneth L. Manders

Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975