Extensional Realizability.

Jaap van Oosten

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

Keyphrases

schema integration
e learning
expert systems
management system
conceptual schema
database
data sets
information retrieval
decision making
high level
natural language
relational databases
co occurrence
logic programs
partial order