Computable enumerations of families of general recursive functions

S. A. Badaev

Algebra and Logic · 1977 · 31 citations · 4 references

Concepts

References

4