An Existence Theorem for Recursion Categories.

Published in: J. Symb. Log. (1990)

Keyphrases

fixed point theorem
fixed point
von neumann
deductive databases
artificial intelligence
boundary conditions
boundary value problem
complex objects
decision making
database systems
special case
mobile robot
datalog programs
continuous functions
digital topology