Some Connections between Mathematical Logic and Complexity Theory

Richard A. DeMillo Richard J. Lipton

Published in: STOC (1979)

Keyphrases

complexity theory
theoretical basis
computational geometry
computer algebra
logic programming
mathematical theory
mobile robot
pairwise
d objects
theorem prover