Login / Signup

On the Decidability of Subtyping with Bounded Existential Types.

Stefan WehrPeter 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