Kleene's amazing Second Recursion Theorem.

Yiannis N. Moschovakis

Published in: Bull. Symb. Log. (2010)

Keyphrases

propositional logic
regular expressions
complex objects
von neumann
deductive databases
digital topology
multi agent
natural language
database
object oriented
intuitionistic logic
sufficient conditions
knowledge representation
artificial neural networks
image sequences
image processing
decision making