Decidability of the theory of modules over Prüfer domains with dense value groups.

Lorna Gregory Sonia L'Innocente Carlo Toffalori

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

real world
description logics
theoretical basis
theoretical framework
application domains
formal theory
artificial intelligence
computer vision
image pairs
continuous domains