Login / Signup

Concrete domains in logics: a survey.

Stéphane DemriKarin Quaas
Published in: ACM SIGLOG News (2021)
Keyphrases
  • expressive power
  • databases
  • real world
  • application domains
  • modal logic
  • inference rules
  • real time