Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Show that a Sigma_kEq-complete problem implies a Sigma_k+1Eq-complete problem #9

Open
jfinkels opened this Issue May 21, 2012 · 0 comments

Comments

Projects
None yet
1 participant
Owner

jfinkels commented May 21, 2012

Show that a Sigma_kEq-complete problem implies a Sigma_k+1Eq-complete problem.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment