Output details
11 - Computer Science and Informatics
Middlesex University
Output title
A Tetrachotomy for Positive First-Order Logic without Equality
Type
E - Conference contribution
Name of conference/published proceedings
Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on
Volume number
-
Issue number
-
First page of article
311
ISSN of proceedings
-
Year of publication
2011
Number of additional authors
1
Additional information
<11>This paper solves completely, giving a complexity classification for all finite n-element structures, a novel project begun in a paper at LICS 2009 (3-element structures) and continued in CSL 2010 (4-element structures). It appeared at the very highly regarded LICS conference in 2011. It was one of only a handful of those accepted papers that was invited to the special issue of Journal of Logical Methods in Computer Science. The paper was the basis of an invitation as invited speaker to the Fields Institute in Toronto at the Workshop on Algebra and CSPs (2011).
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
-
