BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Fabio Gadducci
SearchCollections
Map detail
Fabio Gadducci8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFabio GadducciAFabio GadducciResearcherA Presheaf Semantics for Quantified Temporal LogicsWA Presheaf Semantics fo...preprint / 2022String Diagram Rewrite Theory I: Rewriting with Frobenius StructureWString Diagram Rewrite ...preprint / 2022String Diagram Rewrite Theory III: Confluence with and without FrobeniusWString Diagram Rewrite ...preprint / 2022A new criterion for $\mathcal{M}, \mathcal{N}$-adhesivity, with an application to hierarchical graphsWA new criterion for $\m...preprint / 2022String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal StructureWString Diagram Rewrite ...preprint / 2022On Barbs and Labels in Reactive SystemsWOn Barbs and Labels in ...preprint / 2010Rewriting modulo symmetric monoidal structureWRewriting modulo symmet...preprint / 2016
Person7 links

Fabio Gadducci

Researcher

PaperA Presheaf Semantics for Quantified Temporal LogicsAuthorship / preprint / 2022PaperString Diagram Rewrite Theory I: Rewriting with Frobenius StructureAuthorship / preprint / 2022PaperString Diagram Rewrite Theory III: Confluence with and without FrobeniusAuthorship / preprint / 2022PaperA new criterion for M,N\mathcal{M}, \mathcal{N}-adhesivity, with an application to hierarchical graphsAuthorship / preprint / 2022PaperString Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal StructureAuthorship / preprint / 2022PaperOn Barbs and Labels in Reactive SystemsAuthorship / preprint / 2010PaperRewriting modulo symmetric monoidal structureAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)