Login / Signup

Automatic Decidability: A Schematic Calculus for Theories with Counting Operators.

Elena TushkanovaChristophe RingeissenAlain GiorgettiOlga Kouchnarenko
Published in: RTA (2013)
Keyphrases
  • fully automatic
  • description logics
  • semi automatic
  • evolutionary algorithm
  • building blocks
  • type checking