Login / Signup
Types of Simple alpha-Recursively Enumerable Sets.
Manuel Lerman
Published in:
J. Symb. Log. (1976)
Keyphrases
</>
pattern recognition
recursive functions
inductive inference