Ionel Ţevy
- The first example of a recursive function which is not primitive recursive
1979/11/01 by Cristian S. Calude, Cristian Calude, Solomon Marcus +2 · 2 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, programming, and type systems #semigroups and automata theory