Login / Signup
Definable groups in models of Presburger Arithmetic.
Alf Onshuus
Mariana Vicaría
Published in:
Ann. Pure Appl. Log. (2020)
Keyphrases
</>
databases
artificial intelligence
description logics
presburger arithmetic