2 papers
cs.LO2022
Cohomology in Constraint Satisfaction and Structure Isomorphism
Adam Ó Conghaile
Constraint satisfaction (CSP) and structure isomorphism (SI) are among the most well-studied computational problems in Computer Science. While neither problem is thought to be in $…
cs.LO2020
Game Comonads & Generalised Quantifiers
Adam Ó Conghaile, Anuj Dawar
Game comonads, introduced by Abramsky, Dawar and Wang and developed by Abramsky and Shah, give an interesting categorical semantics to some Spoiler-Duplicator games that are common…