Towards the decidability of the theory of modules over finite commutative rings.

Gennadi Puninski Carlo Toffalori

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

Keyphrases

query answering
theoretical framework
general theory
description logics
conceptual framework
data management
functional modules
finite automata
theoretical foundation
computational model
data sets
special case
expert systems
database systems
case study
website
databases