On Gödel speed-up and succinctness of language representations

J. Hartmanis

Theoretical Computer Science · 1983 · 32 citations · 8 references

Concepts

References

8