Nihil Shah

16 papers A* 3B 2Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras.
CoRR
Anuj Dawar, Nihil Shah
2025 J jnl
A categorical account of composition methods in logic (extended version).
Log. Methods Comput. Sci.
Tomás Jakl, Dan Marsden, Nihil Shah
2024 J jnl
A categorical account of composition methods in logic (extended version).
CoRR
Tomas Jakl, Dan Marsden, Nihil Shah
2024 A* conf
No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads.
LICS
Amin Karamlou, Nihil Shah
2024 J jnl
The Pebble-Relation Comonad in Finite Model Theory.
Log. Methods Comput. Sci.
Yoàv Montacute, Nihil Shah
2023 A* conf
A categorical account of composition methods in logic.
LICS
Tomas Jakl, Dan Marsden, Nihil Shah
2023 J jnl
A categorical account of composition methods in logic.
CoRR
Tomas Jakl, Dan Marsden, Nihil Shah
2023 B conf
Linear Arboreal Categories.
MFPS
Samson Abramsky, Yoàv Montacute, Nihil Shah
2022 J jnl
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems.
CoRR
Tomas Jakl, Dan Marsden, Nihil Shah
2022 A* conf
The Pebble-Relation Comonad in Finite Model Theory.
LICS
Yoàv Montacute, Nihil Shah
2021 J jnl
Relating structure and power: Comonadic semantics for computational resources.
J. Log. Comput.
Samson Abramsky, Nihil Shah
2021 J jnl
The Pebble-Relation Comonad in Finite Model Theory.
CoRR
Yoàv Montacute, Nihil Shah
2020 J jnl
Relating Structure and Power: Extended Version.
CoRR
Samson Abramsky, Nihil Shah
2018 — conf
Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract.
CMCS
Samson Abramsky, Nihil Shah
2018 B conf
Relating Structure and Power: Comonadic Semantics for Computational Resources.
CSL
Samson Abramsky, Nihil Shah
2018 J jnl
Relating Structure and Power: Comonadic Semantics for Computational Resources.
CoRR
Samson Abramsky, Nihil Shah