Lovász-Type Theorems and Game Comonads

Anuj Dawar, Tomás Jakl, Luca Reggio. Lovász-Type Theorems and Game Comonads. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. pages 1-13, IEEE, 2021. [doi]

Authors

Anuj Dawar

This author has not been identified. Look up 'Anuj Dawar' in Google

Tomás Jakl

This author has not been identified. Look up 'Tomás Jakl' in Google

Luca Reggio

This author has not been identified. Look up 'Luca Reggio' in Google