Paper: The Pebble-Relation Comonad in Finite Model Theory (at LICS 2022)
Winner of the Kleene Award in 2022
Authors: Yoàv Montacute Nihil Shah
Abstract
No Abstract Available
BibTeX
@InProceedings{MontacuteShah-ThePebbleRelationCo,
author = {Yoàv Montacute and Nihil Shah},
title = {The Pebble-Relation Comonad in Finite Model Theory},
booktitle = {Proceedings of the Thirty seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2022)},
year = {2022},
month = {August},
pages = {13:1--13:11},
location = {Haifa, Israel},
publisher = {IEEE Computer Society Press}
}