9 citations · 21 across the 7 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 2 cited
Efficient Recognition of Graph Languages
Graham Campbell, Detlef Plump
Graph transformation is the rule-based modification of graphs, and is a discipline dating back to the 1970s. In general, to match the left-hand graph of a fixed rule within a host…
cs.LO2019★ 7 cited
Efficient Graph Rewriting
Graham Campbell
Graph transformation is the rule-based modification of graphs, and is a discipline dating back to the 1970s. The declarative nature of graph rewriting rules comes at a cost. In gen…
quant-ph2019★ 9 cited
A Diagrammatic Approach to Quantum Dynamics
Stefano Gogioso
We present a diagrammatic approach to quantum dynamics based on the categorical algebraic structure of strongly complementary observables. We provide physical semantics to our appr…