Kleene's Amazing Second Recursion Theorem.

Yiannis N. Moschovakis

Published in: CSL (2009)

Keyphrases

propositional logic
deductive databases
von neumann
regular expressions
machine learning
complex objects
datalog programs
neural network
information systems
image sequences
lower bound
database design
transitive closure