mu -Recursion and infinite limits.

Published in: Theor. Comput. Sci. (2003)

Keyphrases

deductive databases
complex objects
development environment
decision trees
artificial intelligence
preprocessing
expert systems
relational databases
integrity constraints
transitive closure
finite sets