Login / Signup

Correction to 'A Model Theoretic Characterisation of Effective Operations'.

M. H. Lob
Published in: J. Symb. Log. (1974)
Keyphrases
  • model theoretic
  • database
  • description logics
  • deductive databases
  • operational semantics
  • search algorithm