Definability of linear equation systems over groups and rings (2012)

First Author: Dawar A

Attributed to: Descriptive Complexity with Algebraic Operators funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.4230/LIPIcs.CSL.2012.213

Publication URI: http://dx.doi.org/10.4230/LIPIcs.CSL.2012.213

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France