Nihil Shah

From MaRDI portal
Person:1798779

Available identifiers

zbMath Open shah.nihilMaRDI QIDQ1798779

List of research outcomes





PublicationDate of PublicationType
The pebble-relation comonad in finite model theory2024-12-06Paper
The pebble-relation comonad in finite model theory2024-06-27Paper
A categorical account of composition methods in logic2023-04-20Paper
Relating Structure and Power: Comonadic Semantics for Computational Resources2022-05-28Paper
Generalizations of Bilinear Maps -- Technical Report2022-05-11Paper
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems2022-05-11Paper
Relating structure and power: Comonadic semantics for computational resources2021-10-21Paper
The Pebble-Relation Comonad in Finite Model Theory2021-10-15Paper
Relating Structure and Power: Extended Version2020-10-13Paper
Relating structure and power: comonadic semantics for computational resources (extended abstract)2018-10-23Paper
Linear Arboreal CategoriesN/APaper

Research outcomes over time

This page was built for person: Nihil Shah

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1798779&oldid=6397170"
Powered by MediaWiki