Definability of linear equation systems over groups and rings

Anuj Dawar Erich Grädel Bjarki Holm Eryk Kopczynski Wied Pakusa

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

management system
distributed systems
expert systems
relational databases
intelligent systems
computer systems
knowledge based systems
learning systems
linear systems