Comparing First Order Theories of Modules over Group Rings II: Decidability.

Saverio Cittadini Carlo Toffalori

Published in: Math. Log. Q. (2002)

Keyphrases

theory revision
higher order
theoretical framework
description logics
query answering
database
real time
data sets
information systems
database systems
learning environment
building blocks
action theories
quantifier elimination