Non-definability of the Ackermann function with type 1 partial primitive recursion.

Karl-Heinz Niggl

Published in: Arch. Math. Log. (1997)

Keyphrases

high level
database
machine learning
deductive databases
propositional logic
neural network
decision trees
hidden markov models
higher level
fixed point
single parameter