Repository logo
 

The Pebble-Relation Comonad in Finite Model Theory

Published version
Peer-reviewed

Type

Conference Object

Change log

Authors

Shah, Nihil 

Description

Keywords

5003 Philosophy, 4904 Pure Mathematics, 49 Mathematical Sciences, 50 Philosophy and Religious Studies

Journal Title

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

Conference Name

LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science

Journal ISSN

Volume Title

Publisher

ACM