Login / Signup
Subtyping in Logical Form.
Ugo de'Liguoro
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
case study
neural network
reinforcement learning
databases
video sequences
relational databases
logical framework