Graphical Conjunctive Queries.
From MaRDI portal
Publication:5079736
DOI10.4230/LIPICS.CSL.2018.13OpenAlexW2963664166MaRDI QIDQ5079736FDOQ5079736
Paweł Sobociński, Filippo Bonchi, Jens Seeber
Publication date: 28 May 2022
Full work available at URL: https://arxiv.org/abs/1804.07626
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- THE ABSTRACT THEORY OF AUTOMATA
- Categorical quantum mechanics
- A relational model of data for large shared data banks
- On the calculus of relations
- Introduction to bicategories
- Cartesian bicategories. I
- Full abstraction for signal flow graphs
- Rewriting modulo symmetric monoidal structure
- On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
- A basic algebra of stateless connectors
- Cartesian Bicategories II
- The homomorphism domination exponent
- Connector algebras for C/E and P/T nets' interactions
- Categories in Control
- A congruence for Petri nets
- Query containment under bag and bag-set semantics
- The Frobenius anatomy of word meanings I: subject and object relative pronouns
- Picturing Quantum Processes
- Reaction and control I. Mixing additive and multiplicative network algebras
- Diagrammatic Semantics for Digital Circuits.
- A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
Cited In (9)
- Title not available (Why is that?)
- Promonads and String Diagrams for Effectful Categories
- DisCoPy: Monoidal Categories in Python
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monoidal streams for dataflow programming
- CoReS: a tool for computing core graphs via SAT/SMT solvers
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Uses Software
This page was built for publication: Graphical Conjunctive Queries.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079736)
