A new function algebra of EXPTIME functions by safe nested recursion.

Toshiyasu Arai Naohi Eguchi

Published in: ACM Trans. Comput. Log. (2009)

Keyphrases

upper bound
description logics
multi valued
continuous functions
databases
query language
database
neural network
genetic algorithm
learning algorithm
expert systems
transitive closure
differential operators
boolean algebra
algebraic operations