Login / Signup

Decidable Fragments of Many-Sorted Logic.

Aharon AbadiAlexander Moshe RabinovichMooly Sagiv
Published in: LPAR (2007)
Keyphrases
  • first order logic
  • databases
  • transitive closure