The Pebble-Relation Comonad in Finite Model Theory-Reference-Cited by-同舟云学术

The Pebble-Relation Comonad in Finite Model Theory

Published:2022-08-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Montacute Yoàv¹,Shah Nihil²

Affiliation:

1. University of Cambridge, United Kingdom

2. University of Oxford, United Kingdom

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3531130.3533335

Reference26 articles.

1. The pebbling comonad in Finite Model Theory

2. Comonadic semantics for guarded fragments

3. Samson Abramsky and Luca Reggio . 2021 . Arboreal Categories and Resources. In 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)(Leibniz International Proceedings in Informatics (LIPIcs), Vol. 198) , Nikhil Bansal, Emanuela Merelli, and James Worrell (Eds.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 115:1–115:20. Samson Abramsky and Luca Reggio. 2021. Arboreal Categories and Resources. In 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)(Leibniz International Proceedings in Informatics (LIPIcs), Vol. 198), Nikhil Bansal, Emanuela Merelli, and James Worrell (Eds.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 115:1–115:20.

4. Samson Abramsky and Nihil Shah . 2018 . Relating Structure and Power: Comonadic Semantics for Computational Resources. In 27th EACSL Annual Conference on Computer Science Logic, CSL 2018 , September 4-7, 2018, Birmingham, UK. 2:1–2:17. Samson Abramsky and Nihil Shah. 2018. Relating Structure and Power: Comonadic Semantics for Computational Resources. In 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. 2:1–2:17.

5. Relating structure and power: Comonadic semantics for computational resources

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Concurrent Games over Relational Structures: The Origin of Game Comonads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. An Invitation to Game Comonads;ACM SIGLOG News;2024-07

3. A categorical account of composition methods in logic;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

4. Discrete Density Comonads and Graph Parameters;Coalgebraic Methods in Computer Science;2022