Robin Piedeleu

MaRDI QIDQ2051791zbMATH OpenFDO

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
A complete diagrammatic calculus for Boolean satisfiability	2026-04-02	Paper
Graphical quadratic algebra	2026-03-20	Paper
Graphical affine algebra	2024-12-19	Paper
String diagram rewriting modulo commutative (co)monoid structure	2024-11-26	Paper
Graphical piecewise-linear algebra Lecture Notes in Computer Science	2024-01-23	Paper
A Finite Axiomatisation of Finite-State Automata Using String Diagrams Logical Methods in Computer Science	2023-03-22	Paper
scientific article; zbMATH DE number 7649945 (Why is no real title available?) (available as arXiv preprint)	2023-02-03	Paper
String Diagram Rewriting Modulo Commutative (Co)monoid Structure	2022-04-08	Paper
Uniqueness of Composition in Quantum Theory and Linguistics	2021-12-17	Paper
Uniqueness of Composition in Quantum Theory and Linguistics (available as arXiv preprint)	2021-12-17	Paper
Bialgebraic foundations for the operational semantics of string diagrams Information and Computation	2021-11-25	Paper
A string diagrammatic axiomatisation of finite-state automata (available as arXiv preprint)	2021-10-18	Paper
A String Diagrammatic Axiomatisation of Finite-State Automata (available as arXiv preprint)	2020-09-30	Paper
Contextual equivalence for signal flow graphs (available as arXiv preprint)	2020-09-23	Paper
Bialgebraic Semantics for String Diagrams (available as arXiv preprint)	2019-06-04	Paper
Open system categorical quantum semantics in natural language processing (available as arXiv preprint)	2017-07-11	Paper

Research outcomes over time

This page was built for person: Robin Piedeleu