Resources and co-resources: a junction between semantics and descriptive complexity
Lead Research Organisation:
University of Cambridge
Department Name: Computer Science and Technology
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
People |
ORCID iD |
Anuj Dawar (Principal Investigator) |
Publications
Gehrke M
(2022)
A DUALITY THEORETIC VIEW ON LIMITS OF FINITE STRUCTURES
Gehrke M
(2022)
A duality theoretic view on limits of finite structures: Extended version
in Logical Methods in Computer Science
Conghaile A.Ó.
(2022)
Cohomology in Constraint Satisfaction and Structure Isomorphism
in Leibniz International Proceedings in Informatics, LIPIcs
Dawar A
(2019)
Descriptive complexity of graph spectra
in Annals of Pure and Applied Logic
Adam Ó Conghaile
(2021)
Game Comonads & Generalised Quantifiers
Conghaile A.Ó.
(2021)
Game comonads & generalised quantifiers
in Leibniz International Proceedings in Informatics, LIPIcs
Dawar A
(2020)
Generalizations of k-dimensional Weisfeiler-Leman stabilization
in Moscow Journal of Combinatorics and Number Theory
Dawar A
(2021)
Lovász-Type Theorems and Game Comonads
Description | New connections have been established between the semantic framework for studying structure in computation and the descriptive complexity framework for studying the expressive power of logical languages. |
Exploitation Route | The new methods established are likely to be exploited to obtain significant new results on the expressive power of logics in the descriptive complexity framework and to raise new directions of research in the context of categorical semantics. |
Sectors | Digital/Communication/Information Technologies (including Software) |