Paper: Semi-Simplicial Set Models for Distributed Knowledge (at LICS 2023)
Authors: Éric Goubault Roman Kniazev Jérémy Ledent Sergio Rajsbaum
Abstract
No Abstract Available
BibTeX
@InProceedings{GoubaultKniazevLede-SemiSimplicialSetMo,
author = {Éric Goubault and Roman Kniazev and Jérémy Ledent and Sergio Rajsbaum},
title = {Semi-Simplicial Set Models for Distributed Knowledge},
booktitle = {Proceedings of the Thirty eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023)},
year = {2023},
month = {June},
pages = {1--13},
location = {Boston, USA},
publisher = {ACM}
}
