Login / Signup
On the decidability of the theory of modules over the ring of algebraic integers.
Sonia L'Innocente
Carlo Toffalori
Gennadi Puninski
Published in:
Ann. Pure Appl. Log. (2017)
Keyphrases
</>
algebraic structure
theoretical framework
description logics
decision procedures
real time
databases
multiscale
building blocks
query answering
theoretical basis
algebraic geometry
computational model
integrity constraints
mathematical theory