Definability of linear equation systems over groups and rings.

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

Published in: CSL (2012)

Keyphrases

linear systems
software engineering
least squares
computer systems
learning systems
multimedia
data model
distributed systems
intelligent systems
fixed point