Login / Signup

Definable groups in models of Presburger Arithmetic.

Alf OnshuusMariana Vicaría
Published in: Ann. Pure Appl. Log. (2020)
Keyphrases
  • databases
  • artificial intelligence
  • description logics
  • presburger arithmetic