For the current REF see the REF 2021 website REF 2021 logo

Output details

11 - Computer Science and Informatics

University of Cambridge

Return to search Previous output Next output
Output 0 of 0 in the submission
Article title

Affine systems of equations and counting infinitary logic

Type
D - Journal article
Title of journal
THEOR COMPUT SCI
Article number
-
Volume number
410
Issue number
18
First page of article
1666
ISSN of journal
0304-3975
Year of publication
2009
URL
-
Number of additional authors
2
Additional information

<11>

TCS is the flagship journal of the European Association of Theoretical Computer Science. It is a high-volume publication, but still quite selective. This paper was agenda-setting in that it launched the study of linear algebra within the context of descriptive complexity.

Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-