Login / Signup

Abstract Beth definability in institutions.

Razvan DiaconescuMarius Petria
Published in: J. Symb. Log. (2006)
Keyphrases
  • fixed point
  • propositional logic
  • higher level
  • real world
  • databases
  • machine learning
  • finite model theory