On the Complexity of the Theories of Weak Direct Powers

Charles Rackoff. On the Complexity of the Theories of Weak Direct Powers. Journal of Symbolic Logic, 41(3):561-573, 1976.

Authors

Charles Rackoff

This author has not been identified. Look up 'Charles Rackoff' in Google