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