Program algebras of recursive functions
1996
Contents §1. Introduction §2. Completeness §3. Maximal subalgebras §4. Modifications of the completeness problem §5. The structure of subalgebras §6. Congruence and automorphisms §7. Abstract computability in algebraic systems Bibliography
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
11
References
0
Citations
NaN
KQI