Lattice Representations for Computability Theory.

Published in: Ann. Pure Appl. Log. (1998)

Keyphrases

theoretical basis
theoretical framework
formal theory
search engine
reinforcement learning
algebraic structure
real time
data mining
web services
multi agent
probabilistic model
d objects
higher level
computational model