Login / Signup

Uniform Guarded Fragments.

Reijo Jaakkola
Published in: FoSSaCS (2022)
Keyphrases
  • fixed point
  • real time
  • databases
  • social networks
  • lower bound
  • description logics
  • data management
  • query answering
  • horn clauses