The Pebble−Relation Comonad in Finite Model Theory
Yoàv Montacute and Nihil Shah
Book Title
LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science‚ Haifa‚ Israel‚ August 2 − 5‚ 2022
Editor
Christel Baier and Dana Fisman
Pages
13:1–13:11
Publisher
ACM
Year
2022