Definability and Full Abstraction.

Pierre-Louis Curien

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

fixed point
high level
propositional logic
data abstraction
databases
artificial intelligence
data sets
machine learning
information retrieval
information systems
digital libraries
expert systems
mobile robot
decision theoretic planning