Login / Signup
On the Decidability of Subtyping with Bounded Existential Types.
Stefan Wehr
Peter Thiemann
Published in:
APLAS (2009)
Keyphrases
</>
query answering
multiresolution
real world
website
data streams
description logics
data integration
information retrieval
decision making
search algorithm
evolutionary algorithm
data exchange
schema mappings