Search alternatives:
step theories » deep theories, system theories, nested theories
steps series » step series, steps seem, steps stages
steps set » steps asset, steps step, steps seem

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Circuits over Sets of Natural Numbers -- Post Embedding Problem Is Not Primitive Recursive...