Definability of linear equation systems over groups and rings.

Anuj Dawar, Erich Grdel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa

Browse the full CSL paper archive.