A Theory of Explicit Substitutions with Safe and Full Composition

Published in: Log. Methods Comput. Sci. (2009)

Keyphrases

theoretical framework
theoretical basis
real time
information theory
general theory
formal theory
databases
neural network
metadata
case study
relational databases
recommender systems
computational model
theoretical foundation