Login / Signup
Decidability of the Theory of Modules over PRüFER Domains with Infinite residue Fields.
Lorna Gregory
Sonia L'Innocente
Gennadi Puninski
Carlo Toffalori
Published in:
J. Symb. Log. (2018)
Keyphrases
</>
theoretical framework
application domains
theoretical foundation
neural network
real world
description logics
computer vision
general theory
formal theory
databases
functional modules
knowledge structures
query answering
computational model
building blocks
decision trees
decision making