Person:6124950
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Linear arboreal categories | 2026-04-02 | Paper |
| The pebble-relation comonad in finite model theory | 2024-12-06 | Paper |
| The pebble-relation comonad in finite model theory Logical Methods in Computer Science | 2024-06-27 | Paper |
| Dynamic Cantor derivative logic | 2024-04-10 | Paper |
| Dynamic Cantor Derivative Logic Logical Methods in Computer Science | 2024-01-16 | Paper |
| Cantor Derivative Logic in Topological Dynamics | 2023-02-01 | Paper |
| Dynamic Tangled Derivative Logic of Metric Spaces | 2023-01-24 | Paper |
| Untangled: A Complete Dynamic Topological Logic | 2022-04-18 | Paper |
| The Pebble-Relation Comonad in Finite Model Theory | 2021-10-15 | Paper |
| Linear Arboreal Categories (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person:
