Login / Signup

A Decidable Canonical Representation of the Compact Elements in Scott's Reflexive Domain in P-omega.

Thomas Drakengren
Published in: Theor. Comput. Sci. (1998)
Keyphrases
  • canonical representation
  • domain independent
  • domain specific
  • real time
  • domain experts
  • horn theories
  • neural network
  • information retrieval
  • learning algorithm
  • information systems
  • database systems
  • first order logic